diff options
author | Florian Müllner <fmuellner@gnome.org> | 2015-12-15 02:10:11 +0100 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2017-02-15 12:14:28 +0100 |
commit | 72486b581c1dde855ec22a9addbd52ac9d2bcbf8 (patch) | |
tree | 355612e5d720a18cb0e7da493100d8b1b1af4b93 | |
parent | 21690a7f09bd477ecdefe31f547081d3b1bb1d99 (diff) | |
download | gnome-session-72486b581c1dde855ec22a9addbd52ac9d2bcbf8.tar.gz |
shell-extensions: Use kill-switch to disable extensions ...
... instead of clearing the user-defined list of enabled extensions.
https://bugzilla.gnome.org/show_bug.cgi?id=778665
-rw-r--r-- | gnome-session/gsm-shell-extensions.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gnome-session/gsm-shell-extensions.c b/gnome-session/gsm-shell-extensions.c index fb2d9ab9..4ec88294 100644 --- a/gnome-session/gsm-shell-extensions.c +++ b/gnome-session/gsm-shell-extensions.c @@ -28,7 +28,7 @@ #include "gsm-shell-extensions.h" #define SHELL_SCHEMA "org.gnome.shell" -#define ENABLED_EXTENSIONS_KEY "enabled-extensions" +#define DISABLE_EXTENSIONS_KEY "disable-user-extensions" #define SHELL_EXTENSIONS_PRIVATE(o) (G_TYPE_INSTANCE_GET_PRIVATE ((o), GSM_TYPE_SHELL_EXTENSIONS, GsmShellExtensionsPrivate)) @@ -184,9 +184,9 @@ gsm_shell_extensions_init (GsmShellExtensions *self) gboolean gsm_shell_extensions_disable_all (GsmShellExtensions *self) { - return g_settings_set_strv (self->priv->settings, - ENABLED_EXTENSIONS_KEY, - NULL); + return g_settings_set_boolean (self->priv->settings, + DISABLE_EXTENSIONS_KEY, + TRUE); } guint |