extensionPrefs: Fix enum member name

2017-04-20 17:09:18 +02:00 · 2017-04-20 17:09:18 +02:00 · c7a8c372a1
commit c7a8c372a1
parent 73b7d9ace4
1 changed files with 1 additions and 1 deletions
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@ -154,7 +154,7 @@ const Application = new Lang.Class({

        this._settings = new Gio.Settings({ schema_id: 'org.gnome.shell' });
        this._settings.bind('disable-user-extensions', killSwitch, 'active',
-                            Gio.SettingsBindFlags.BIND_DEFAULT |
+                            Gio.SettingsBindFlags.DEFAULT |
                            Gio.SettingsBindFlags.INVERT_BOOLEAN);

        let scroll = new Gtk.ScrolledWindow({ hscrollbar_policy: Gtk.PolicyType.NEVER });