"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,
}