Show array value type for pluginchannels and pluginrepos#3617
Conversation
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.
niten94
left a comment
niten94
left a comment
There was a problem hiding this comment.
I was asked to merge this if there are no problems but I am not a maintainer. There may be other pull requests that are being focused on right now, but I do not think it would take a while until a maintainer reviews this.
| * `pluginrepos`: a list of links to plugin repositories. | ||
|
|
||
| default value: `` | ||
| default value: `[]` |
There was a problem hiding this comment.
It is not necessarily gonna be immediately obvious to the user what does this mean (even if the user is familiar with json array syntax), so maybe clarify it:
default value: `[]` (empty list)
There was a problem hiding this comment.
@antoine2711:
The only other option with an empty value is backupdir, but it also has an explanation like this. The change is small, so would you still be interested to at least add the text only?
There was a problem hiding this comment.
@niten94 : I think it's overkill and obvious, but if you really want it, here it is.
|
@JoeKar : what about this PR? Regards, Antoine |
Show that it's an empty string (instead of 2 backticks that are rendering marks).
4 participants
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.
Regards, Antoine