From 03e9ab593e21d623c63a1286026e6ac70ed4136a Mon Sep 17 00:00:00 2001 From: Antoine Beaubien Date: Sun, 19 Jan 2025 09:33:58 -0500 Subject: [PATCH 1/3] Show array value type for pluginchannels and pluginrepos Since the options pluginchannels and pluginrepos can have arrays of values, this should be what is in the default values. It's even more obvious with pluginrepos since two consecutives ticks don't render as an empty formatted, but just the normal 2 caracters. --- runtime/help/options.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/runtime/help/options.md b/runtime/help/options.md index 87943392e4..ba0fba0697 100644 --- a/runtime/help/options.md +++ b/runtime/help/options.md @@ -324,11 +324,11 @@ Here are the available options: By default, this option points to the official plugin channel hosted on GitHub at https://github.com/micro-editor/plugin-channel. - default value: `https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json` + default value: `[https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json]` * `pluginrepos`: a list of links to plugin repositories. - default value: `` + default value: `[]` * `readonly`: when enabled, disallows edits to the buffer. It is recommended to only ever set this option locally using `setlocal`. From 76f91a5ebd061c6abbfc3199abb6edd1686bfdf3 Mon Sep 17 00:00:00 2001 From: Antoine Beaubien Date: Sun, 17 May 2026 18:45:18 -0400 Subject: [PATCH 2/3] Add (empty list) to show that [] is an empty list which might not be obvious to some people --- runtime/help/options.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/runtime/help/options.md b/runtime/help/options.md index ba81072886..4f96d59703 100644 --- a/runtime/help/options.md +++ b/runtime/help/options.md @@ -326,7 +326,7 @@ Here are the available options: * `pluginrepos`: a list of links to plugin repositories. - default value: `[]` + default value: `[]`(empty list) * `readonly`: when enabled, disallows edits to the buffer. It is recommended to only ever set this option locally using `setlocal`. From 92de3e4c67f3bcf9c4feb1208b8beed800773440 Mon Sep 17 00:00:00 2001 From: Antoine Beaubien Date: Mon, 18 May 2026 17:28:06 -0400 Subject: [PATCH 3/3] Update default value description for indent-char Show that it's an empty string (instead of 2 backticks that are rendering marks). --- runtime/help/options.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/runtime/help/options.md b/runtime/help/options.md index 4f96d59703..78454232ba 100644 --- a/runtime/help/options.md +++ b/runtime/help/options.md @@ -411,7 +411,7 @@ Here are the available options: The color of the shown character is determined by the `indent-char` field in the current theme rather than the default text color. - default value: `` + default value: `""` (empty string) * `smartpaste`: add leading whitespace when pasting multiple lines. This will attempt to preserve the current indentation level when pasting an