Backport hide favorite option

2026-04-14 00:04:17 +09:00 · 2017-06-27 11:05:18 +02:00
parent 812b81cb5e
commit 838ce3901f
1 changed files with 4 additions and 0 deletions
--- a/prefs.js
+++ b/prefs.js
@@ -407,6 +407,10 @@ const Settings = new Lang.Class({
                            this._builder.get_object('show_window_previews_button'),
                            'sensitive',
                            Gio.SettingsBindFlags.DEFAULT);
+        this._settings.bind('show-favorites',
+                            this._builder.get_object('show_favorite_switch'),
+                            'active',
+                            Gio.SettingsBindFlags.DEFAULT);

        this._builder.get_object('show_window_previews_button').connect('clicked', Lang.bind(this, function() {