Skip to content

Commit

Permalink
Rename settings boxes to settings rows
Browse files Browse the repository at this point in the history
  • Loading branch information
stuarthayhurst committed Jun 15, 2023
1 parent 0f60ed4 commit b6f13d8
Showing 1 changed file with 8 additions and 8 deletions.
16 changes: 8 additions & 8 deletions extension/prefs.js
Original file line number Diff line number Diff line change
Expand Up @@ -26,25 +26,25 @@ var PrefsPages = class PrefsPages {

_updateEnabledSettings() {
//If using the quick settings area and running GNOME 43, disable 'move-icon-setting'
let moveIconBox = this._builder.get_object('move-icon-setting');
let moveIconRow = this._builder.get_object('move-icon-setting');
if (ShellVersion >= 43 && this._settings.get_boolean('use-quick-settings')) {
moveIconBox.set_sensitive(false);
moveIconRow.set_sensitive(false);
} else {
moveIconBox.set_sensitive(true);
moveIconRow.set_sensitive(true);
}

//If the quick settings aren't in use, disable settings group option
let groupQuickSettingsBox = this._builder.get_object('group-quick-settings-setting');
let groupQuickSettingsRow = this._builder.get_object('group-quick-settings-setting');
if (!this._settings.get_boolean('use-quick-settings')) {
groupQuickSettingsBox.set_sensitive(false);
groupQuickSettingsRow.set_sensitive(false);
} else {
groupQuickSettingsBox.set_sensitive(true);
groupQuickSettingsRow.set_sensitive(true);
}

//Grey out GNOME 43+ settings on earlier versions
if (ShellVersion < 43) {
let quickSettingsBox = this._builder.get_object('gnome-43-settings-area');
quickSettingsBox.set_sensitive(false);
let quickSettingsRow = this._builder.get_object('gnome-43-settings-area');
quickSettingsRow.set_sensitive(false);
}
}

Expand Down

0 comments on commit b6f13d8

Please sign in to comment.