From 5259920072bc95aeac4c62ab6996bc5e8aced078 Mon Sep 17 00:00:00 2001 From: Charles Gagnon Date: Sun, 2 Aug 2020 11:02:28 -0400 Subject: [PATCH] Disable preview icon size in settings dialog when no header --- prefs.js | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/prefs.js b/prefs.js index 9e95f80..78cfec0 100644 --- a/prefs.js +++ b/prefs.js @@ -1210,6 +1210,10 @@ const Settings = new Lang.Class({ this._builder.get_object('preview_show_title_switch'), 'active', Gio.SettingsBindFlags.DEFAULT); + this._settings.bind('window-preview-show-title', + this._builder.get_object('grid_preview_custom_icon_size'), + 'sensitive', + Gio.SettingsBindFlags.DEFAULT); this._settings.bind('window-preview-show-title', this._builder.get_object('grid_preview_title_size'), 'sensitive',