mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-30 06:37:14 +09:00
Merge branch 'settings-config'
With these changes, settings.json should only contain options that have been modified from their default values. Micro will actively options that are set to default values from the settings.json file. To see a full list of settings and their defaults, see the "options" documentation, as well as `micro -options`.
This commit is contained in:
@@ -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()
|
||||
|
||||
Reference in New Issue
Block a user