[gnome-shell] extensionPrefs: Fix enum member name
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] extensionPrefs: Fix enum member name
- Date: Thu, 20 Apr 2017 15:37:00 +0000 (UTC)
commit 7a2068372842cf292d58a6058724c5ebded4751d
Author: Florian Müllner <fmuellner gnome org>
Date: Thu Apr 20 17:09:18 2017 +0200
extensionPrefs: Fix enum member name
js/extensionPrefs/main.js | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index 0277de0..6c536aa 100644
--- 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 });
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]