mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-29 22:27:13 +09:00
Adds options for tab bar and tab color reversing (#2480)
* Adds options for tab bar and tab color reversing * Fixes small bug with tabreverse, options now work fully as expected
This commit is contained in:
@@ -335,10 +335,12 @@ var DefaultGlobalOnlySettings = map[string]interface{}{
|
||||
"mouse": true,
|
||||
"parsecursor": false,
|
||||
"paste": false,
|
||||
"savehistory": true,
|
||||
"sucmd": "sudo",
|
||||
"pluginchannels": []string{"https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json"},
|
||||
"pluginrepos": []string{},
|
||||
"savehistory": true,
|
||||
"sucmd": "sudo",
|
||||
"tabhighlight": false,
|
||||
"tabreverse": true,
|
||||
"xterm": false,
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user