github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-22 16:57:12 +09:00
Code Issues Packages Projects Releases Wiki Activity

Don't apply cli options to settings.json

Browse Source
This commit is contained in:
Zachary Yedidia
2020-06-08 22:19:15 -04:00
parent ae05ff1811
commit 660d345880
2 changed files with 12 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
internal/action/command.go
View File

@@ -480,6 +480,7 @@ func SetGlobalOptionNative(option string, nativeValue interface{}) error {
if !local {
config.GlobalSettings[option] = nativeValue
config.ModifiedSettings[option] = true
if option == "colorscheme" {
// LoadSyntaxFiles()