extensions-tool: Adjust enable/disable commands to shell changes
Change both 'enabled-extensions' and 'disabled-extensions' keys as in
commit ce1bee727
. While those actions are now also exposed by the
shell's D-Bus API, there is some value in allowing the tool to be used
outside a running GNOME session (for example in setup scripts), so
keep changing the GSettings keys directly.
https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
This commit is contained in:
parent
7141c5be6d
commit
532acf4c4a
@ -33,7 +33,8 @@ disable_extension (const char *uuid)
|
||||
if (settings == NULL)
|
||||
return FALSE;
|
||||
|
||||
return settings_list_remove (settings, "enabled-extensions", uuid);
|
||||
return settings_list_remove (settings, "enabled-extensions", uuid) &&
|
||||
settings_list_add (settings, "disabled-extensions", uuid);
|
||||
}
|
||||
|
||||
int
|
||||
|
@ -33,7 +33,8 @@ enable_extension (const char *uuid)
|
||||
if (settings == NULL)
|
||||
return FALSE;
|
||||
|
||||
return settings_list_add (settings, "enabled-extensions", uuid);
|
||||
return settings_list_add (settings, "enabled-extensions", uuid) &&
|
||||
settings_list_remove (settings, "disabled-extensions", uuid);
|
||||
}
|
||||
|
||||
int
|
||||
|
Loading…
Reference in New Issue
Block a user