mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-25 18:07:07 +09:00
Add 'scrollbarchar' option (#2342)
This lets you specify a character that will get used for rendering the scrollbar. Co-authored-by: Zachary Yedidia <zyedidia@gmail.com>
This commit is contained in:
committed by
GitHub
parent
9593c2a720
commit
ffa7f987b6
@@ -353,6 +353,9 @@ var DefaultGlobalOnlySettings = map[string]interface{}{
|
||||
"multiopen": "tab",
|
||||
"parsecursor": false,
|
||||
"paste": false,
|
||||
"savehistory": true,
|
||||
"scrollbarchar": "|",
|
||||
"sucmd": "sudo",
|
||||
"pluginchannels": []string{"https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json"},
|
||||
"pluginrepos": []string{},
|
||||
"savehistory": true,
|
||||
|
||||
Reference in New Issue
Block a user