From 67b3bf392fc37bd2b4e123c8202a2bf910325ff7 Mon Sep 17 00:00:00 2001
From: Allan Zhang <6740989+allan2@users.noreply.github.com>
Date: Sat, 15 Nov 2025 10:31:34 -0500
Subject: [PATCH] Document inet_listener_listen

This replaces `inet_listener_address` with `inet_listener_listen`.

I kept the `setting_types.IPADDR` value type as-is.

Resolves #1347
---
 data/settings.js | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/data/settings.js b/data/settings.js
index cb3377d0f..c6073249e 100644
--- a/data/settings.js
+++ b/data/settings.js
@@ -6804,6 +6804,13 @@ Creates a new network socket listener for a [[setting,service]]. The filter
 name refers to the [[setting,inet_listener_name]] setting.`
 	},
 
+	inet_listener_listen: {
+		tags: [ 'service' ],
+		values: setting_types.IPADDR,
+		text: `
+Overrides the [[setting,listen]] setting for this listener.`
+	},
+
 	inet_listener_name: {
 		tags: [ 'service' ],
 		values: setting_types.STRING,
@@ -6826,13 +6833,6 @@ Listener type. This string value has service-specific meaning and is used to
 distinguish different listener types that one service may employ.`
 	},
 
-	inet_listener_address: {
-		tags: [ 'service' ],
-		values: setting_types.IPADDR,
-		text: `
-Overrides the [[setting,listen]] setting for this listener.`
-	},
-
 	inet_listener_port: {
 		tags: [ 'service' ],
 		values: setting_types.IN_PORT,