zyedidia/micro
1
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2025-06-18 23:05:40 -04:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Show array value type for pluginchannels and pluginrepos

Browse Source 
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.
This commit is contained in:
Antoine Beaubien 2025-01-19 09:33:58 -05:00 committed by GitHub
parent 9b3f7ff240
commit 03e9ab593e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
runtime/help/options.md
View File

@ -324,11 +324,11 @@ Here are the available options:
By default, this option points to the official plugin channel hosted on GitHub By default, this option points to the official plugin channel hosted on GitHub
at https://github.com/micro-editor/plugin-channel. 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. * `pluginrepos`: a list of links to plugin repositories.
default value: `` default value: `[]`
* `readonly`: when enabled, disallows edits to the buffer. It is recommended * `readonly`: when enabled, disallows edits to the buffer. It is recommended
to only ever set this option locally using `setlocal`. to only ever set this option locally using `setlocal`.