Skip to content

Commit

Permalink
Disable preview icon size in settings dialog when no header
Browse files Browse the repository at this point in the history
  • Loading branch information
charlesg99 committed Aug 2, 2020
1 parent f8668df commit 5259920
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions prefs.js
Original file line number Diff line number Diff line change
Expand Up @@ -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',
Expand Down

0 comments on commit 5259920

Please sign in to comment.