zyedidia/micro
1
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2025-06-20 07:45:35 -04:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Persist plugin options correctly

Browse Source
This commit is contained in:
Zachary Yedidia 2020-06-20 20:07:33 -04:00
parent d0b75bc09f
commit 4d13308624
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
internal/config/settings.go
View File

@ -205,7 +205,7 @@ func OverwriteSettings(filename string) error {
// RegisterCommonOptionPlug creates a new option (called pl.name). This is meant to be called by plugins to add options. // RegisterCommonOptionPlug creates a new option (called pl.name). This is meant to be called by plugins to add options.
func RegisterCommonOptionPlug(pl string, name string, defaultvalue interface{}) error { func RegisterCommonOptionPlug(pl string, name string, defaultvalue interface{}) error {
name = pl + "." + name name = pl + "." + name
if v, ok := GlobalSettings[name]; !ok { if _, ok := GlobalSettings[name]; !ok {
defaultCommonSettings[name] = defaultvalue defaultCommonSettings[name] = defaultvalue
GlobalSettings[name] = defaultvalue GlobalSettings[name] = defaultvalue
err := WriteSettings(filepath.Join(ConfigDir, "settings.json")) err := WriteSettings(filepath.Join(ConfigDir, "settings.json"))
@ -213,7 +213,7 @@ func RegisterCommonOptionPlug(pl string, name string, defaultvalue interface{})
return errors.New("Error writing settings.json file: " + err.Error()) return errors.New("Error writing settings.json file: " + err.Error())
} }
} else { } else {
defaultCommonSettings[name] = v defaultCommonSettings[name] = defaultvalue
} }
return nil return nil
} }