rpms/gnome-shell-extensions
7
0
Fork 0
Code Issues Pull Requests Releases Activity

import CS gnome-shell-extensions-40.7-31.el9

Browse Source
This commit is contained in:
AlmaLinux RelEng Bot 2026-03-30 10:29:48 -04:00
parent 001276b06a
commit be6a5954ff
3 changed files with 162 additions and 123 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

129
SOURCES/improve-workspace-names.patch
View File

@ -1,4 +1,4 @@
From 11442f82272a1fba9ed1ff7088e6e2ae68e01787 Mon Sep 17 00:00:00 2001
From bef9d7ac2f78383208e35c9a54dbacb533053c6b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 17 Jun 2025 22:22:29 +0200
Subject: [PATCH 01/19] Fix signal leak
@ -20,10 +20,10 @@ index 14359a0e..f70dcaf7 100644
});
--
2.50.0
2.51.1
From 874ee94d7ead1c1792ce73c5aea0663223c89228 Mon Sep 17 00:00:00 2001
From 9156d8dbea7235e13e23302e5e0c0ae5a388961a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 11 Oct 2024 12:10:36 +0200
Subject: [PATCH 02/19] workspace-indicator: Split out workspaces prefs page
@ -571,10 +571,10 @@ index 4d551780..1fb8f17a 100644
extensions/workspace-indicator/workspaceIndicator.js
+extensions/workspace-indicator/workspacePrefs.js
--
2.50.0
2.51.1
From 96c95e0114fa158237d7f16c71b314bea30946a1 Mon Sep 17 00:00:00 2001
From 092dd50137078d9c39b8749866c721b32aa91249 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 11 Oct 2024 12:13:05 +0200
Subject: [PATCH 03/19] workspace-indicator: Don't mention "top bar" in prefs
@ -601,10 +601,10 @@ index 5691996d..77c333f1 100644
const sw = new Gtk.Switch({
--
2.50.0
2.51.1
From 5012e5e2b758f389b6ccfdd24a281b00ca900060 Mon Sep 17 00:00:00 2001
From ef706734487e99ceb59707e7745d393d93d77e0f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 11 Oct 2024 12:45:54 +0200
Subject: [PATCH 04/19] window-list: Remove workspace-previews setting from
@ -637,10 +637,10 @@ index 79cd1355..e35990ff 100644
});
--
2.50.0
2.51.1
From fdfd486005be35f4bf43bb37992dea281618edec Mon Sep 17 00:00:00 2001
From 7b9a01c543b2f608d679d355e8bc610ce03b8183 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Sun, 29 Jun 2025 23:49:15 +0200
Subject: [PATCH 05/19] window-list: Add workspaces page to prefs
@ -722,10 +722,10 @@ index e35990ff..f1ce4bb7 100644
return new WindowListPrefsWidget();
}
--
2.50.0
2.51.1
From cd0b7ee2ca454244f8171e9120c3ea1ff3bfdd51 Mon Sep 17 00:00:00 2001
From 7e36fcf60395d6736c42109350bed132cb640bd8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 22 May 2025 16:31:57 +0200
Subject: [PATCH 06/19] workspace-indicator: Remove left-over variable
@ -749,10 +749,10 @@ index f70dcaf7..5a5dba2f 100644
workspaceManager.connect_after('workspace-switched',
this._onWorkspaceSwitched.bind(this)),
--
2.50.0
2.51.1
From cd725aaa4cba84ae3e779307e681a8551106ed19 Mon Sep 17 00:00:00 2001
From 69d632bcf963084673cff04643382a7181bd1c97 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 22 May 2025 16:27:57 +0200
Subject: [PATCH 07/19] workspace-indicator: Split out WorkspacesMenu
@ -811,10 +811,10 @@ index 5a5dba2f..7e6b9cce 100644
- }
});
--
2.50.0
2.51.1
From 8b3ad4561dd1ce86e3575b1184dc8a6f15249c5c Mon Sep 17 00:00:00 2001
From 8be09699a833df8528f6ec2f80a9792536436b8b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 22 May 2025 18:53:20 +0200
Subject: [PATCH 08/19] workspace-indicator: Add back plain workspaces menu
@ -963,10 +963,10 @@ index 7e6b9cce..ebe92363 100644
}
--
2.50.0
2.51.1
From 1072bf3d6652b67e311a30c3e3592e2ea9410990 Mon Sep 17 00:00:00 2001
From 575bff3521e66f942bf4972edd51a0ad5ec8b43c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 22 May 2025 19:00:23 +0200
Subject: [PATCH 09/19] workspace-indicator: Remove preview labels
@ -1064,10 +1064,10 @@ index ebe92363..54912746 100644
if (this.mapped)
this._updateScrollPosition();
--
2.50.0
2.51.1
From a8aae63fc91f1ac5494f7ac8685d4f0fb39b4658 Mon Sep 17 00:00:00 2001
From 5d61ee235756fd3139bfa31a5be2e5af2329fe6b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 28 May 2025 02:16:33 +0200
Subject: [PATCH 10/19] workspace-indicator: Include menu with previews
@ -1149,10 +1149,10 @@ index 54912746..ca4466cc 100644
this._updateTopBarRedirect();
}
--
2.50.0
2.51.1
From 8548119bca73b1dbf7f5e5e3c850e0b4af03f729 Mon Sep 17 00:00:00 2001
From 5f9dd0ae1cb5c7f8acb97c4f7e68d21919727ce6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 29 May 2025 14:53:37 +0200
Subject: [PATCH 11/19] workspace-indicator: Expose active workspace name on
@ -1210,10 +1210,10 @@ index ca4466cc..8e22e6b1 100644
_onDestroy() {
--
2.50.0
2.51.1
From 1d176bb2cce5dd4d89a316846fb2125b8373493e Mon Sep 17 00:00:00 2001
From 1bd51d790447ac3329c8fcb399f472e2baaf17db Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 22 May 2025 20:59:58 +0200
Subject: [PATCH 12/19] workspace-indicator: Show full name when using menu
@ -1223,9 +1223,9 @@ sense to expose them without opening the menu.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/405>
---
.../workspace-indicator/stylesheet-dark.css | 8 +++++
.../workspace-indicator/workspaceIndicator.js | 34 +++++++------------
2 files changed, 21 insertions(+), 21 deletions(-)
.../workspace-indicator/stylesheet-dark.css | 8 ++++
.../workspace-indicator/workspaceIndicator.js | 37 +++++++------------
2 files changed, 21 insertions(+), 24 deletions(-)
diff --git a/extensions/workspace-indicator/stylesheet-dark.css b/extensions/workspace-indicator/stylesheet-dark.css
index 1ca929f9..d35a5dfc 100644
@ -1249,7 +1249,7 @@ index 1ca929f9..d35a5dfc 100644
.workspace-indicator .workspaces-view.hfade {
-st-hfade-offset: 20px;
diff --git a/extensions/workspace-indicator/workspaceIndicator.js b/extensions/workspace-indicator/workspaceIndicator.js
index 8e22e6b1..ced16256 100644
index 8e22e6b1..d47fbd13 100644
--- a/extensions/workspace-indicator/workspaceIndicator.js
+++ b/extensions/workspace-indicator/workspaceIndicator.js
@@ -514,15 +514,23 @@ class WorkspaceIndicator extends PanelMenu.Button {
@ -1292,7 +1292,17 @@ index 8e22e6b1..ced16256 100644
this.connect('scroll-event',
(a, event) => Main.wm.handleWorkspaceScroll(event));
@@ -573,7 +576,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
@@ -558,9 +561,6 @@ class WorkspaceIndicator extends PanelMenu.Button {
}
_onDestroy() {
- for (let i = 0; i < this._workspaceManagerSignals.length; i++)
- global.workspace_manager.disconnect(this._workspaceManagerSignals[i]);
-
if (this._inTopBar)
Main.panel.set_offscreen_redirect(Clutter.OffscreenRedirect.ALWAYS);
this._inTopBar = false;
@@ -573,7 +573,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
this.reactive = !usePreviews;
this._thumbnails.visible = usePreviews;
@ -1301,7 +1311,7 @@ index 8e22e6b1..ced16256 100644
if (usePreviews)
this.add_style_class_name('previews');
@@ -593,15 +596,4 @@ class WorkspaceIndicator extends PanelMenu.Button {
@@ -593,15 +593,4 @@ class WorkspaceIndicator extends PanelMenu.Button {
? Clutter.OffscreenRedirect.ALWAYS
: Clutter.OffscreenRedirect.AUTOMATIC_FOR_OPACITY);
}
@ -1318,10 +1328,10 @@ index 8e22e6b1..ced16256 100644
- }
});
--
2.50.0
2.51.1
From 9951956a6e17772bf9fd9e9ca470493b6707b7a5 Mon Sep 17 00:00:00 2001
From 92cce4da58a748eb65980c604b340cf2b3d930d9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Mon, 9 Jun 2025 18:10:14 +0200
Subject: [PATCH 13/19] workspace-indicator: Add background when using name
@ -1389,10 +1399,10 @@ index 049b6a38..5191923c 100644
background-color: #ccc;
}
diff --git a/extensions/workspace-indicator/workspaceIndicator.js b/extensions/workspace-indicator/workspaceIndicator.js
index ced16256..11ae9f5f 100644
index d47fbd13..427aef68 100644
--- a/extensions/workspace-indicator/workspaceIndicator.js
+++ b/extensions/workspace-indicator/workspaceIndicator.js
@@ -578,10 +578,13 @@ class WorkspaceIndicator extends PanelMenu.Button {
@@ -575,10 +575,13 @@ class WorkspaceIndicator extends PanelMenu.Button {
this._thumbnails.visible = usePreviews;
this._statusBox.visible = !usePreviews;
@ -1409,10 +1419,10 @@ index ced16256..11ae9f5f 100644
this._updateTopBarRedirect();
}
--
2.50.0
2.51.1
From 8b60e81922f6b9ee6ac48bc63226e082e482b3fd Mon Sep 17 00:00:00 2001
From c16736b3da4ee702ee32c844a3606e364e063dbf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 22 May 2025 21:07:08 +0200
Subject: [PATCH 14/19] workspace-indicator: Reimplement some libadwaita prefs
@ -1421,14 +1431,14 @@ Subject: [PATCH 14/19] workspace-indicator: Reimplement some libadwaita prefs
Upstream now makes more use of libawaita, so reimplement the API we
need to make backporting a bit less painful.
---
.../workspace-indicator/workspacePrefs.js | 238 ++++++++++++++++++
1 file changed, 238 insertions(+)
.../workspace-indicator/workspacePrefs.js | 241 ++++++++++++++++++
1 file changed, 241 insertions(+)
diff --git a/extensions/workspace-indicator/workspacePrefs.js b/extensions/workspace-indicator/workspacePrefs.js
index 77c333f1..871bbf0c 100644
index 77c333f1..9e2f25b9 100644
--- a/extensions/workspace-indicator/workspacePrefs.js
+++ b/extensions/workspace-indicator/workspacePrefs.js
@@ -16,6 +16,244 @@ const N_ = e => e;
@@ -16,6 +16,247 @@ const N_ = e => e;
const WORKSPACE_SCHEMA = 'org.gnome.desktop.wm.preferences';
const WORKSPACE_KEY = 'workspace-names';
@ -1641,6 +1651,9 @@ index 77c333f1..871bbf0c 100644
+ });
+ super._init(params);
+ this.add_suffix(this._spinButton);
+
+ this._spinButton.connect('notify::value',
+ () => this.notify('value'));
+ }
+
+ get adjustment() {
@ -1674,10 +1687,10 @@ index 77c333f1..871bbf0c 100644
class GeneralGroup extends Gtk.Box {
_init() {
--
2.50.0
2.51.1
From c621184851f590c4b7938a059724317783cdfe78 Mon Sep 17 00:00:00 2001
From 6b1f02d8c38e5a649ac886a26fcc57be6c2b0f08 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Sun, 29 Jun 2025 21:26:40 +0200
Subject: [PATCH 15/19] workspace-indicator: Refine preview settings
@ -1691,10 +1704,10 @@ Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests
1 file changed, 22 insertions(+), 13 deletions(-)
diff --git a/extensions/workspace-indicator/workspacePrefs.js b/extensions/workspace-indicator/workspacePrefs.js
index 871bbf0c..1f706dad 100644
index 9e2f25b9..d8ad902f 100644
--- a/extensions/workspace-indicator/workspacePrefs.js
+++ b/extensions/workspace-indicator/workspacePrefs.js
@@ -255,29 +255,38 @@ const SpinRow = GObject.registerClass({
@@ -258,29 +258,38 @@ const SpinRow = GObject.registerClass({
});
const GeneralGroup = GObject.registerClass(
@ -1747,10 +1760,10 @@ index 871bbf0c..1f706dad 100644
}
});
--
2.50.0
2.51.1
From 589abbc74cbbde57e4ad2f01084b01b7f828d01c Mon Sep 17 00:00:00 2001
From ed92b9fe869dc8a6b11e04278192024e88146c7e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 22 May 2025 16:20:05 +0200
Subject: [PATCH 16/19] workspace-indicator: Include workspace settings
@ -1765,10 +1778,10 @@ Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests
1 file changed, 67 insertions(+)
diff --git a/extensions/workspace-indicator/workspacePrefs.js b/extensions/workspace-indicator/workspacePrefs.js
index 1f706dad..c5e311ef 100644
index d8ad902f..d037ef80 100644
--- a/extensions/workspace-indicator/workspacePrefs.js
+++ b/extensions/workspace-indicator/workspacePrefs.js
@@ -291,6 +291,72 @@ class GeneralGroup extends PreferencesGroup {
@@ -294,6 +294,72 @@ class GeneralGroup extends PreferencesGroup {
}
});
@ -1841,7 +1854,7 @@ index 1f706dad..c5e311ef 100644
var WorkspacesPage = GObject.registerClass(
class WorkspacesPage extends Gtk.ScrolledWindow {
_init() {
@@ -311,6 +377,7 @@ class WorkspacesPage extends Gtk.ScrolledWindow {
@@ -314,6 +380,7 @@ class WorkspacesPage extends Gtk.ScrolledWindow {
this.set_child(box);
box.append(new GeneralGroup());
@ -1850,10 +1863,10 @@ index 1f706dad..c5e311ef 100644
box.append(new Gtk.Label({
label: '<b>%s</b>'.format(_('Workspace Names')),
--
2.50.0
2.51.1
From 6ca15a8289d3308d4bb87e55d48ebd25ad9807a1 Mon Sep 17 00:00:00 2001
From 3fabfb8e852d932129bbaf60646fcd73683e1966 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 28 May 2025 21:01:08 +0200
Subject: [PATCH 17/19] workspace-indicator: Allow changing workspace names
@ -1950,7 +1963,7 @@ index 5191923c..e4f2b45a 100644
+ background-color: #185fb4;
+}
diff --git a/extensions/workspace-indicator/workspaceIndicator.js b/extensions/workspace-indicator/workspaceIndicator.js
index 11ae9f5f..4f374653 100644
index 427aef68..43315280 100644
--- a/extensions/workspace-indicator/workspaceIndicator.js
+++ b/extensions/workspace-indicator/workspaceIndicator.js
@@ -4,7 +4,7 @@
@ -2110,10 +2123,10 @@ index 11ae9f5f..4f374653 100644
}
--
2.50.0
2.51.1
From 67b4ea20adda268c05a037ae189b8ac55c8e1e2b Mon Sep 17 00:00:00 2001
From 976529e158e43599c35de4ac18832fef332b33b7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 28 May 2025 21:04:36 +0200
Subject: [PATCH 18/19] workspace-indicator: Remove workspace names from prefs
@ -2127,7 +2140,7 @@ Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests
1 file changed, 1 insertion(+), 182 deletions(-)
diff --git a/extensions/workspace-indicator/workspacePrefs.js b/extensions/workspace-indicator/workspacePrefs.js
index c5e311ef..f638b93d 100644
index d037ef80..3fd932c0 100644
--- a/extensions/workspace-indicator/workspacePrefs.js
+++ b/extensions/workspace-indicator/workspacePrefs.js
@@ -4,17 +4,13 @@
@ -2149,7 +2162,7 @@ index c5e311ef..f638b93d 100644
const PreferencesGroup = GObject.registerClass({
Properties: {
@@ -378,182 +374,5 @@ class WorkspacesPage extends Gtk.ScrolledWindow {
@@ -381,182 +377,5 @@ class WorkspacesPage extends Gtk.ScrolledWindow {
box.append(new GeneralGroup());
box.append(new BehaviorGroup());
@ -2333,10 +2346,10 @@ index c5e311ef..f638b93d 100644
}
});
--
2.50.0
2.51.1
From 6664250dcca0dcde5967ceae49f61dd1f026ef11 Mon Sep 17 00:00:00 2001
From bed8bb3da1a813d6b203e4ea6e3bbb3393fbe7e0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 30 May 2025 16:39:22 +0200
Subject: [PATCH 19/19] window-list: Adjust to workspace-indicator changes
@ -2385,5 +2398,5 @@ index 88ef0a25..ef9df230 100644
spacing: 2px;
font-size: 10pt;
--
2.50.0
2.51.1

142
SOURCES/more-ws-previews.patch
View File

@ -1,4 +1,4 @@
From 2bc8aa48edae1465a5c51be9d864a159b1009bc7 Mon Sep 17 00:00:00 2001
From c0eac7df2fb3b4b5f7f23218d423c11d71d85063 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 18 Apr 2024 18:09:40 +0200
Subject: [PATCH 01/29] prefs: Fix loading custom CSS
@ -7,12 +7,13 @@ GTK changed the annotation of `gtk_css_provider_load_from_data()`,
and as a result the `length` parameter is no longer interpreted
as an implicit array length, but has to be specified explicitly.
---
extensions/auto-move-windows/prefs.js | 2 +-
extensions/classification-banner/prefs.js | 2 +-
extensions/heads-up-display/prefs.js | 2 +-
extensions/window-list/prefs.js | 2 +-
extensions/workspace-indicator/prefs.js | 2 +-
5 files changed, 5 insertions(+), 5 deletions(-)
extensions/auto-move-windows/prefs.js | 2 +-
extensions/classification-banner/adwShim.js | 2 +-
extensions/classification-banner/prefs.js | 2 +-
extensions/heads-up-display/prefs.js | 2 +-
extensions/window-list/prefs.js | 2 +-
extensions/workspace-indicator/prefs.js | 2 +-
6 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/extensions/auto-move-windows/prefs.js b/extensions/auto-move-windows/prefs.js
index 2c529067..db09c28b 100644
@ -27,6 +28,19 @@ index 2c529067..db09c28b 100644
context.add_provider(cssProvider,
Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION);
diff --git a/extensions/classification-banner/adwShim.js b/extensions/classification-banner/adwShim.js
index 46a8afca..3ed62359 100644
--- a/extensions/classification-banner/adwShim.js
+++ b/extensions/classification-banner/adwShim.js
@@ -52,7 +52,7 @@ class PreferencesPage extends Gtk.Widget {
scrolledWindow.set_child(this._box);
const provider = new Gtk.CssProvider();
- provider.load_from_data('* { min-width: 500px; }');
+ provider.load_from_data('* { min-width: 500px; }', -1);
this._box.get_style_context().add_provider(provider,
Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION);
}
diff --git a/extensions/classification-banner/prefs.js b/extensions/classification-banner/prefs.js
index a5dd8af1..0a91a5da 100644
--- a/extensions/classification-banner/prefs.js
@ -80,10 +94,10 @@ index 567f3e99..d307dcac 100644
context.add_provider(cssProvider,
Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION);
--
2.47.0
2.51.1
From d1380931b47adb23c36e5499cbd931fba4d63bd0 Mon Sep 17 00:00:00 2001
From f0b3e7cfc962a0e28a89690ea2bcbc3d498bdecc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 23 Mar 2022 19:59:14 +0100
Subject: [PATCH 02/29] build: Remove unused stylesheets
@ -363,10 +377,10 @@ index 71efa039..19858a39 100644
extension_sources += files('prefs.js')
--
2.47.0
2.51.1
From c97c668cf178968d70a9f2de3308e37e0b931acb Mon Sep 17 00:00:00 2001
From 467bf381b7b76ee19c6f1998e39b03e92ce054dc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 12:38:33 +0100
Subject: [PATCH 03/29] workspace-indicator: Move indicator code into separate
@ -1329,10 +1343,10 @@ index 10b1d517..bd39ab61 100644
extensions/workspace-indicator/prefs.js
+extensions/workspace-indicator/workspaceIndicator.js
--
2.47.0
2.51.1
From 34ba767aa622ac9122463f4649f7a8854a56f25d Mon Sep 17 00:00:00 2001
From 4987f2ddd3fa18ea3dfed5763ef75c8b2fd16748 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 19:09:38 +0100
Subject: [PATCH 04/29] workspace-indicator: Use descendant style selectors
@ -1406,10 +1420,10 @@ index c88ffc9c..28fc3ea8 100644
reactive: true,
});
--
2.47.0
2.51.1
From c5843b7870e0ce0cbf7b2f587193b93c63062105 Mon Sep 17 00:00:00 2001
From 09799458050248324e037e3a598c232df5b31a88 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 12:48:43 +0100
Subject: [PATCH 05/29] window-list: Use consistent style class prefix
@ -1473,10 +1487,10 @@ index cdfe5b61..c24f159f 100644
this._delegate = this;
--
2.47.0
2.51.1
From a81dbea8250c85b950c83048f178c700635a8c38 Mon Sep 17 00:00:00 2001
From 69808ea2537be7e9cf6ad49c60202a8a4f550594 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 23 Feb 2024 01:59:15 +0100
Subject: [PATCH 06/29] workspace-indicator: Allow overriding base style class
@ -1526,10 +1540,10 @@ index 28fc3ea8..01604b91 100644
let container = new St.Widget({
layout_manager: new Clutter.BinLayout(),
--
2.47.0
2.51.1
From e1c5b589fca9021b960e19f043ca26735c8b02de Mon Sep 17 00:00:00 2001
From 28a52ab5ae441e9a33d1aad51c183291c84414d8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 23 Feb 2024 01:58:50 +0100
Subject: [PATCH 07/29] window-list: Override base style class
@ -1600,10 +1614,10 @@ index c24f159f..1a1d15cd 100644
this.menu.actor.remove_style_class_name('panel-menu');
--
2.47.0
2.51.1
From c673a9d7169cc1a2f6df9c3eeea4b11f8968dc19 Mon Sep 17 00:00:00 2001
From 186b5bcd86cd49c78a3e76f74b3c0b425e121131 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 12:48:43 +0100
Subject: [PATCH 08/29] window-list: Externally adjust workspace menu
@ -1688,10 +1702,10 @@ index 1a1d15cd..4290d58a 100644
layout_manager: new Clutter.BinLayout(),
x_expand: true,
--
2.47.0
2.51.1
From 3271e93695782d06ada9752144c650605ceed76a Mon Sep 17 00:00:00 2001
From 6276e1a9182314a0fdfdc93602f7d763e6c05082 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 21 Mar 2024 16:49:35 +0100
Subject: [PATCH 09/29] window-list: Handle changes to workspace menu
@ -1731,10 +1745,10 @@ index c58df434..a011bc90 100644
this.set_position(
this._monitor.x,
--
2.47.0
2.51.1
From 314072792bba618a85897dc085bb72debe3ec6b1 Mon Sep 17 00:00:00 2001
From 62321a13bcab19237f4988c4813d1e93033c09f9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 15:58:39 +0100
Subject: [PATCH 10/29] workspace-indicator: Don't use SCHEMA/KEY constants
@ -1775,10 +1789,10 @@ index 01604b91..6e3ad7b5 100644
}
--
2.47.0
2.51.1
From 002a0bb8036a997a70acda017e4016fd9fd51806 Mon Sep 17 00:00:00 2001
From 48aec0093ab7c058fefcb315e762d9a6e496a00d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 18:59:23 +0100
Subject: [PATCH 11/29] workspace-indicator: Use existing property
@ -1803,10 +1817,10 @@ index 6e3ad7b5..60356d74 100644
}
});
--
2.47.0
2.51.1
From 4e2785910ceccc079305da1b9d0e2c810b1f982a Mon Sep 17 00:00:00 2001
From 3e7205492557f977515dd32fc7a7d0ddcd586b29 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 16:14:24 +0100
Subject: [PATCH 12/29] workspace-indicator: Don't use menu section
@ -1872,10 +1886,10 @@ index 60356d74..39d4e296 100644
this._workspacesItems[i].label_actor = this._statusLabel;
this._workspacesItems[i].connect('activate', (actor, _event) => {
--
2.47.0
2.51.1
From 5f33bc574aee51700c92b940b23df0b7966450d6 Mon Sep 17 00:00:00 2001
From a531a2b3a2a828182413875aa1a83359947b60a2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 13:05:15 +0100
Subject: [PATCH 13/29] workspace-indicator: Support showing tooltips above
@ -1915,10 +1929,10 @@ index 39d4e296..83713b6f 100644
}
--
2.47.0
2.51.1
From a65fd9e61cf3f3a83116815482843b1b20eef20f Mon Sep 17 00:00:00 2001
From a890424da36e27af3dc77eefbab86dfc81a0bc37 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 17:37:16 +0100
Subject: [PATCH 14/29] workspace-indicator: Only change top bar redirect when
@ -1981,10 +1995,10 @@ index 83713b6f..fa05a54c 100644
: Clutter.OffscreenRedirect.AUTOMATIC_FOR_OPACITY);
}
--
2.47.0
2.51.1
From 521b224b17cb15df49a32d5c2dffe5ce65285df4 Mon Sep 17 00:00:00 2001
From acc9a3f3ccb555d2d19d530c185db70521dafb1b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 16:13:00 +0100
Subject: [PATCH 15/29] workspace-indicator: Small cleanup
@ -2029,10 +2043,10 @@ index fa05a54c..bbb51c41 100644
this._statusLabel.set_text(this._labelText());
--
2.47.0
2.51.1
From 3145e45a2d897b177e7395cec71a1293b6857a36 Mon Sep 17 00:00:00 2001
From fe43614e06a34049016d6c680b97cbc0c469241d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 16:13:00 +0100
Subject: [PATCH 16/29] workspace-indicator: Simplify getting status text
@ -2115,10 +2129,10 @@ index bbb51c41..d401b6ab 100644
_updateThumbnails() {
--
2.47.0
2.51.1
From 30adbc349b382c69c7592cd674d7837f6c9185c5 Mon Sep 17 00:00:00 2001
From e75680ee3a56d734ec96d0721d38f55fe1be7314 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 16:35:09 +0100
Subject: [PATCH 17/29] workspace-indicator: Include n-workspaces in status
@ -2151,10 +2165,10 @@ index d401b6ab..29b8a671 100644
_updateMenuLabels() {
--
2.47.0
2.51.1
From 675e91b7b521b4c8d7f53a9f3d028ab7300281dd Mon Sep 17 00:00:00 2001
From e219f85ec3d017d4ca6014f7725d40b812215a71 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 22 Feb 2024 04:45:23 +0100
Subject: [PATCH 18/29] workspace-indicator: Tweak preview style
@ -2206,10 +2220,10 @@ index 4e12cce4..f74f7e88 100644
.workspace-indicator-window-preview.active {
--
2.47.0
2.51.1
From 011af97ab27a4e7be9dab937754470e890bc131c Mon Sep 17 00:00:00 2001
From 0800175a99252e7c120a3f39da03bb7aba89193b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 23:22:58 +0100
Subject: [PATCH 19/29] workspace-indicator: Support light style
@ -2344,10 +2358,10 @@ index f74f7e88..b0f7d171 100644
-}
+@import url("stylesheet-dark.css");
--
2.47.0
2.51.1
From bcb34a3a91a5140b5ecc6f9582dd9f80272c7e32 Mon Sep 17 00:00:00 2001
From 81ea67d9b1a60728303202dbeeca0f5522724580 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 21 Feb 2024 13:08:52 +0100
Subject: [PATCH 20/29] window-list: Use actual copy of workspace-indicator
@ -2905,10 +2919,10 @@ index 4290d58a..00000000
-});
-
--
2.47.0
2.51.1
From 36e4714c31398b74eb1727197f40bbd81ccfd6f7 Mon Sep 17 00:00:00 2001
From 5b5a603ecf6c39fb8c881cf67791f6b52fd2e0de Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 20 Feb 2024 17:39:49 +0100
Subject: [PATCH 21/29] workspace-indicator: Simplify scroll handling
@ -2957,10 +2971,10 @@ index 29b8a671..1dd3ed6b 100644
- }
});
--
2.47.0
2.51.1
From f3154702594a814e5131252ab84b9daf0553ada3 Mon Sep 17 00:00:00 2001
From 1717c263bb3e1e27f070c8c4ba8affecf785bdef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 27 Feb 2024 21:20:45 +0100
Subject: [PATCH 22/29] workspace-indicator: Handle active indication in
@ -3058,10 +3072,10 @@ index 1dd3ed6b..ae526929 100644
_activate(index) {
--
2.47.0
2.51.1
From e854ad2e483489952691d5fbede37e3fec63737c Mon Sep 17 00:00:00 2001
From 94769ae1fe6e51b622b6ea48a06e322205ece525 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 20 Feb 2024 17:27:57 +0100
Subject: [PATCH 23/29] workspace-indicator: Split out WorkspacePreviews
@ -3209,10 +3223,10 @@ index ae526929..e5be8081 100644
let workspaceManager = global.workspace_manager;
--
2.47.0
2.51.1
From 18b40e7f586d4546bd64745a0b2d617655b87af3 Mon Sep 17 00:00:00 2001
From daa9116a3a1e6bc861a17dce87446747007635c6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Mon, 19 Feb 2024 14:42:04 +0100
Subject: [PATCH 24/29] workspace-indicator: Handle preview overflow
@ -3342,10 +3356,10 @@ index e5be8081..d496d22d 100644
_onDestroy() {
--
2.47.0
2.51.1
From 422a5e6f67b23c3b9b0764ec313ad0ad864249db Mon Sep 17 00:00:00 2001
From 5bf1379d9f693c29707f239174fd79d0094e233f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Sun, 3 Mar 2024 15:05:23 +0100
Subject: [PATCH 25/29] workspace-indicator: Support labels in previews
@ -3504,10 +3518,10 @@ index d496d22d..f5ffdbb7 100644
}
--
2.47.0
2.51.1
From a0985eb24eafee329b6af6c2c2f7db4de7b103e3 Mon Sep 17 00:00:00 2001
From 8f395d8f6c7542fc51b650720fe9c0ca3327f7c9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 20 Feb 2024 21:43:55 +0100
Subject: [PATCH 26/29] workspace-indicator: Stop handling vertical layouts
@ -3548,10 +3562,10 @@ index f5ffdbb7..362c6372 100644
this._statusLabel.visible = useMenu;
--
2.47.0
2.51.1
From 74b64e860757d56f0d500165ba2e49024ead48d2 Mon Sep 17 00:00:00 2001
From d1ff140548fdc27956a3b6dfc407cecbf961ffd3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Sun, 3 Mar 2024 15:05:23 +0100
Subject: [PATCH 27/29] workspace-indicator: Also show previews in menu
@ -3748,10 +3762,10 @@ index 362c6372..ed5645db 100644
}
});
--
2.47.0
2.51.1
From f810340e1e7ffd7c1964ec950be8b0585afe9e7f Mon Sep 17 00:00:00 2001
From e2a3d1f8c014ed8ad90c61f306b5b49621524eb2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 20 Feb 2024 22:00:57 +0100
Subject: [PATCH 28/29] workspace-indicator: Make previews configurable
@ -3966,10 +3980,10 @@ index bd39ab61..4d551780 100644
+extensions/workspace-indicator/schemas/org.gnome.shell.extensions.workspace-indicator.gschema.xml
extensions/workspace-indicator/workspaceIndicator.js
--
2.47.0
2.51.1
From 952d2ca4e3e5b35b3a25336506b06ef0dca734a9 Mon Sep 17 00:00:00 2001
From 7a5db4acab0827f0eb69c35019cc7c067898545c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 21 Mar 2024 17:27:09 +0100
Subject: [PATCH 29/29] window-list: Expose workspace preview option
@ -3998,5 +4012,5 @@ index e35990ff..79cd1355 100644
});
--
2.47.0
2.51.1

14
SPECS/gnome-shell-extensions.spec
View File

@ -7,7 +7,7 @@
Name: gnome-shell-extensions
Version: 40.7
Release: 28%{?dist}
Release: 31%{?dist}
Summary: Modify and extend GNOME Shell functionality and behavior
License: GPLv2+
@ -473,6 +473,18 @@ workspaces.
%changelog
* Tue Nov 18 2025 Florian Müllner <fmuellner@redhat.com> - 40.7-31
- Fix workspace indicator cleanups
Resolves: RHEL-129395
* Mon Nov 17 2025 Florian Müllner <fmuellner@redhat.com> - 40.7-30
- Fix applying num-workspaces setting
Resolves: RHEL-129101
* Wed Nov 05 2025 Florian Müllner <fmuellner@redhat.com> - 40.7-29
- Fix loading custom CSS
Resolves: RHEL-126240
* Mon Jun 30 2025 Florian Müllner <fmuellner@redhat.com> - 40.7-28
- Make workspace names more prominent
Resolves: RHEL-96218