From f25480fee246db9972f442bf7d210347ed721e7e Mon Sep 17 00:00:00 2001 From: Stuart Hayhurst Date: Sun, 13 Aug 2023 12:47:05 +0100 Subject: [PATCH] Merged GNOME 44 settings with main group --- extension/prefs.js | 6 ----- extension/ui/gtk3/prefs.ui | 49 ++++---------------------------------- extension/ui/gtk4/prefs.ui | 40 +++++-------------------------- 3 files changed, 11 insertions(+), 84 deletions(-) diff --git a/extension/prefs.js b/extension/prefs.js index 567d88d..13b6a27 100644 --- a/extension/prefs.js +++ b/extension/prefs.js @@ -46,12 +46,6 @@ var PrefsPages = class PrefsPages { quickSubtitleSettingsRow.set_sensitive(true); } } - - //Grey out GNOME 44+ settings on earlier versions - if (ShellVersion < 44) { - let settingsArea = this._builder.get_object('gnome-44-settings-area'); - settingsArea.set_sensitive(false); - } } _createPreferences() { diff --git a/extension/ui/gtk3/prefs.ui b/extension/ui/gtk3/prefs.ui index 59298b1..f0826bc 100644 --- a/extension/ui/gtk3/prefs.ui +++ b/extension/ui/gtk3/prefs.ui @@ -208,54 +208,18 @@ - - - - 1 - - - - - - - 1 - vertical - - - 1 - 12 - vertical - + 1 - 2 - 4 - 6 - vertical + 1 + 0 - + 1 - GNOME 44+ settings - 0 - - - - - - 1 - - - - - - 1 - none 1 @@ -310,9 +274,6 @@ - - 1 - - 2 + 1 diff --git a/extension/ui/gtk4/prefs.ui b/extension/ui/gtk4/prefs.ui index cc1f9f4..8d1c832 100644 --- a/extension/ui/gtk4/prefs.ui +++ b/extension/ui/gtk4/prefs.ui @@ -161,43 +161,15 @@ - - - - - - - - vertical - - - 12 - vertical - - 2 - 4 - 6 - vertical - - - GNOME 44+ settings - 0 - - - - - - + + 1 + 0 + + + - - - - - none 1