From 03e9ab593e21d623c63a1286026e6ac70ed4136a Mon Sep 17 00:00:00 2001 From: Antoine Beaubien Date: Sun, 19 Jan 2025 09:33:58 -0500 Subject: [PATCH] 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 87943392..ba0fba06 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`.