diff --git a/.gitignore b/.gitignore index f465ca4..a2bdbd3 100644 --- a/.gitignore +++ b/.gitignore @@ -185,3 +185,4 @@ /gnome-shell-extensions-47.3.tar.xz /gnome-shell-extensions-47.4.tar.xz /gnome-shell-extensions-47.5.tar.xz +/gnome-shell-extensions-47.6.tar.xz diff --git a/gnome-shell-extensions.spec b/gnome-shell-extensions.spec index df7cefa..fd48d37 100644 --- a/gnome-shell-extensions.spec +++ b/gnome-shell-extensions.spec @@ -12,7 +12,7 @@ %endif Name: gnome-shell-extensions -Version: 47.5 +Version: 47.6 Release: %autorelease Summary: Modify and extend GNOME Shell functionality and behavior diff --git a/improve-workspace-names.patch b/improve-workspace-names.patch index 26b154e..20aecef 100644 --- a/improve-workspace-names.patch +++ b/improve-workspace-names.patch @@ -1,7 +1,7 @@ -From 65b7117ba3c119f70f5d4d0ec2b8db8e58544fb4 Mon Sep 17 00:00:00 2001 +From effd3553dc1f88a7777f5f1a53d1f4f1fc97abc8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 11 Oct 2024 12:10:36 +0200 -Subject: [PATCH 01/19] workspace-indicator: Split out workspaces prefs page +Subject: [PATCH 01/18] workspace-indicator: Split out workspaces prefs page The window-list extension already uses the extension code for its embedded workspace indicator, this will allow it to do the @@ -637,13 +637,13 @@ index b7cb8a7c..c0e18507 100644 extensions/workspace-indicator/workspaceIndicator.js +extensions/workspace-indicator/workspacePrefs.js -- -2.49.0 +2.50.0 -From 90cf8a51ad277a7e44a6543bda8e5f2c892a759a Mon Sep 17 00:00:00 2001 +From 65914dbf1ea3bb91acbb012e5a00c0bb9806e4f2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 11 Oct 2024 12:13:05 +0200 -Subject: [PATCH 02/19] workspace-indicator: Don't mention "top bar" in prefs +Subject: [PATCH 02/18] workspace-indicator: Don't mention "top bar" in prefs The preferences will be shared with the window-list extension, so avoid mentioning a specific placement. @@ -667,13 +667,13 @@ index 37386d27..12982471 100644 this.add(row); -- -2.49.0 +2.50.0 -From 70998b97b53aa3ee1e6e7340e8c3a1ec47e3e6ec Mon Sep 17 00:00:00 2001 +From 9d3beca547cfb351d0077c6265ef66ee57e00711 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 11 Oct 2024 12:31:36 +0200 -Subject: [PATCH 03/19] workspace-indicator: Set title and icon on prefs page +Subject: [PATCH 03/18] workspace-indicator: Set title and icon on prefs page The window-list extension will add the workspace prefs as additional page, so it needs a title and icon for the @@ -701,13 +701,13 @@ index 12982471..0e48323f 100644 this.add(new GeneralGroup(settings)); this.add(new WorkspacesGroup()); -- -2.49.0 +2.50.0 -From 036fd70f27246d71c22c89991aaa008bf75a24b1 Mon Sep 17 00:00:00 2001 +From 48049736425448b0f29c16745042a3360c32bf12 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 11 Oct 2024 12:45:54 +0200 -Subject: [PATCH 04/19] window-list: Set title and icon on prefs page +Subject: [PATCH 04/18] window-list: Set title and icon on prefs page Like the workspace prefs page, the existing window list prefs should set title and icon for the view switcher. @@ -734,13 +734,13 @@ index a77e7595..dbc9d87e 100644 this._actionGroup = new Gio.SimpleActionGroup(); this.insert_action_group('window-list', this._actionGroup); -- -2.49.0 +2.50.0 -From 8237851ad3c0b50276cea4027477ab191851db2c Mon Sep 17 00:00:00 2001 +From 85b420659b1fe762bc07bb152ae610e84bacbe17 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 11 Oct 2024 12:45:54 +0200 -Subject: [PATCH 05/19] window-list: Remove workspace-previews setting from +Subject: [PATCH 05/18] window-list: Remove workspace-previews setting from prefs We are about to include the workspace prefs page from the @@ -770,13 +770,13 @@ index dbc9d87e..73bf8bef 100644 } -- -2.49.0 +2.50.0 -From 7de8baab6734df952be2dfe686531562d0719423 Mon Sep 17 00:00:00 2001 +From 6779a10ac1f3a9b5f0f3c5aa9895b8bfe1fc75da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 11 Oct 2024 12:45:54 +0200 -Subject: [PATCH 06/19] window-list: Add workspaces page to prefs +Subject: [PATCH 06/18] window-list: Add workspaces page to prefs This brings back the workspace-previews setting, and adds the ability to change the workspace names. @@ -831,40 +831,13 @@ index 73bf8bef..ca795067 100644 } } -- -2.49.0 +2.50.0 -From 67096ef1e86089bad5efed2c23e9c2d4eeae5137 Mon Sep 17 00:00:00 2001 -From: =?UTF-8?q?Florian=20M=C3=BCllner?= -Date: Thu, 22 May 2025 16:31:57 +0200 -Subject: [PATCH 07/19] workspace-indicator: Remove left-over variable - -Part-of: ---- - extensions/workspace-indicator/workspaceIndicator.js | 2 -- - 1 file changed, 2 deletions(-) - -diff --git a/extensions/workspace-indicator/workspaceIndicator.js b/extensions/workspace-indicator/workspaceIndicator.js -index 18a8d4e9..aa9035e9 100644 ---- a/extensions/workspace-indicator/workspaceIndicator.js -+++ b/extensions/workspace-indicator/workspaceIndicator.js -@@ -459,8 +459,6 @@ export class WorkspaceIndicator extends PanelMenu.Button { - this._thumbnails = new WorkspacePreviews(); - container.add_child(this._thumbnails); - -- this._workspacesItems = []; -- - workspaceManager.connectObject( - 'workspace-switched', this._onWorkspaceSwitched.bind(this), GObject.ConnectFlags.AFTER, - this); --- -2.49.0 - - -From 44bfd77f5446a2fabec93fe16091d86d9ca7e8d3 Mon Sep 17 00:00:00 2001 +From 7775300ec7fea22220de875b9f34529cd02b4ca5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 22 May 2025 16:27:57 +0200 -Subject: [PATCH 08/19] workspace-indicator: Split out WorkspacesMenu +Subject: [PATCH 07/18] workspace-indicator: Split out WorkspacesMenu The menu currently only contains the previews without any logic on its own. This is about to change, so split the menu into a @@ -876,7 +849,7 @@ Part-of: Date: Thu, 22 May 2025 18:53:20 +0200 -Subject: [PATCH 09/19] workspace-indicator: Add back plain workspaces menu +Subject: [PATCH 08/18] workspace-indicator: Add back plain workspaces menu Unlike in the top bar, the previews in the menu were not too successful. Change back to a regular menu with a list of workspace @@ -988,7 +961,7 @@ index e70352f8..3440174e 100644 border-color: #fff; } diff --git a/extensions/workspace-indicator/workspaceIndicator.js b/extensions/workspace-indicator/workspaceIndicator.js -index 6da21e8b..9646126a 100644 +index 4183c4db..c5944365 100644 --- a/extensions/workspace-indicator/workspaceIndicator.js +++ b/extensions/workspace-indicator/workspaceIndicator.js @@ -10,7 +10,7 @@ import GObject from 'gi://GObject'; @@ -1072,13 +1045,13 @@ index 6da21e8b..9646126a 100644 } -- -2.49.0 +2.50.0 -From dea3b220eccde0fc41ea79c761506e9a476c0098 Mon Sep 17 00:00:00 2001 +From 6ec1ad4ba9590751a9c80cb879f83222639d2318 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 22 May 2025 19:00:23 +0200 -Subject: [PATCH 10/19] workspace-indicator: Remove preview labels +Subject: [PATCH 09/18] workspace-indicator: Remove preview labels Previews are no longer used in the menu, so they are never shown with labels. @@ -1089,7 +1062,7 @@ Part-of: Date: Wed, 28 May 2025 02:16:33 +0200 -Subject: [PATCH 11/19] workspace-indicator: Include menu with previews +Subject: [PATCH 10/18] workspace-indicator: Include menu with previews The menu is currently only used when previews are disabled. But as we are going to use the menu for changing workspace names, it @@ -1212,7 +1185,7 @@ index 3440174e..19ef6ba1 100644 padding: 0 8px; } diff --git a/extensions/workspace-indicator/workspaceIndicator.js b/extensions/workspace-indicator/workspaceIndicator.js -index 544680dd..c2eda209 100644 +index 35cd407b..4239db40 100644 --- a/extensions/workspace-indicator/workspaceIndicator.js +++ b/extensions/workspace-indicator/workspaceIndicator.js @@ -473,6 +473,8 @@ export class WorkspaceIndicator extends PanelMenu.Button { @@ -1264,13 +1237,13 @@ index 544680dd..c2eda209 100644 this._updateTopBarRedirect(); } -- -2.49.0 +2.50.0 -From 1f7064c5bafe6ee8e45a45ba7175cfe710415f43 Mon Sep 17 00:00:00 2001 +From da9a45b2acbe935bfb4ad9c16094e0e9e2d520a1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 29 May 2025 14:53:37 +0200 -Subject: [PATCH 12/19] workspace-indicator: Expose active workspace name on +Subject: [PATCH 11/18] workspace-indicator: Expose active workspace name on menu When not using previews, we currently use a numerical presentation @@ -1287,7 +1260,7 @@ Part-of: Date: Thu, 22 May 2025 20:59:58 +0200 -Subject: [PATCH 13/19] workspace-indicator: Show full name when using menu +Subject: [PATCH 12/18] workspace-indicator: Show full name when using menu With workspace names becoming a more prominent feature, it makes sense to expose them without opening the menu. @@ -1364,7 +1337,7 @@ index 19ef6ba1..5c502d93 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 ec035031..b6ec924e 100644 +index c39f4d6c..062dab57 100644 --- a/extensions/workspace-indicator/workspaceIndicator.js +++ b/extensions/workspace-indicator/workspaceIndicator.js @@ -491,15 +491,23 @@ export class WorkspaceIndicator extends PanelMenu.Button { @@ -1432,13 +1405,13 @@ index ec035031..b6ec924e 100644 - } } -- -2.49.0 +2.50.0 -From 32d5de69d4d7625b11f6f1ae9065902441f3f3a2 Mon Sep 17 00:00:00 2001 +From 00a4b41c573d5695d28a5c8bc5fa6f67bea39702 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Mon, 9 Jun 2025 18:10:14 +0200 -Subject: [PATCH 14/19] workspace-indicator: Add background when using name +Subject: [PATCH 13/18] workspace-indicator: Add background when using name label Panel buttons are flat, so the name+arrow are not immediately @@ -1503,7 +1476,7 @@ index 049b6a38..5191923c 100644 background-color: #ccc; } diff --git a/extensions/workspace-indicator/workspaceIndicator.js b/extensions/workspace-indicator/workspaceIndicator.js -index b6ec924e..3def5a1d 100644 +index 062dab57..85311ead 100644 --- a/extensions/workspace-indicator/workspaceIndicator.js +++ b/extensions/workspace-indicator/workspaceIndicator.js @@ -552,10 +552,13 @@ export class WorkspaceIndicator extends PanelMenu.Button { @@ -1523,13 +1496,13 @@ index b6ec924e..3def5a1d 100644 this._updateTopBarRedirect(); } -- -2.49.0 +2.50.0 -From c6f3afee3982285931b862b75a0dbedd626fe412 Mon Sep 17 00:00:00 2001 +From 00e0b0b74b246f45c92361fae269d99872956e6a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 22 May 2025 21:07:08 +0200 -Subject: [PATCH 15/19] workspace-indicator: Refine preview settings +Subject: [PATCH 14/18] workspace-indicator: Refine preview settings Add a group title, and change the single switch row to radio rows to explicitly choose between "Previews" and "Workspace Name". @@ -1585,13 +1558,13 @@ index 0e48323f..84d7b8a6 100644 } } -- -2.49.0 +2.50.0 -From a805b78fba735cdad778fefe873e05dcb0d3db85 Mon Sep 17 00:00:00 2001 +From e6a15f54d4db39ab877321bde3ca601989d71ab2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 22 May 2025 16:20:05 +0200 -Subject: [PATCH 16/19] workspace-indicator: Include workspace settings +Subject: [PATCH 15/18] workspace-indicator: Include workspace settings While the "Multitasking" panel in Settings already exposes workspace settings, it makes sense to expose them in our prefs dialog as well @@ -1691,13 +1664,13 @@ index 84d7b8a6..a6857cd7 100644 } } -- -2.49.0 +2.50.0 -From 1e6365a9b9006372849c0f50103aa9e326476739 Mon Sep 17 00:00:00 2001 +From 75810711bf677b944be35d3d29632d5330411d76 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Wed, 28 May 2025 21:01:08 +0200 -Subject: [PATCH 17/19] workspace-indicator: Allow changing workspace names +Subject: [PATCH 16/18] workspace-indicator: Allow changing workspace names from menu Instead of requiring the user to open the prefs dialog to change @@ -1790,7 +1763,7 @@ index 5191923c..491add2a 100644 + background-color: st-darken(-st-accent-color, 15%); +} diff --git a/extensions/workspace-indicator/workspaceIndicator.js b/extensions/workspace-indicator/workspaceIndicator.js -index 3def5a1d..d88f5ab2 100644 +index 85311ead..0950ac02 100644 --- a/extensions/workspace-indicator/workspaceIndicator.js +++ b/extensions/workspace-indicator/workspaceIndicator.js @@ -8,6 +8,7 @@ import Clutter from 'gi://Clutter'; @@ -1941,13 +1914,13 @@ index 3def5a1d..d88f5ab2 100644 } -- -2.49.0 +2.50.0 -From 4b458dd19ed373cf76211f1397f4fde2d36fbcee Mon Sep 17 00:00:00 2001 +From 89c5072693f8ce3fd652d1d3502b18f35b9d162f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Wed, 28 May 2025 21:04:36 +0200 -Subject: [PATCH 18/19] workspace-indicator: Remove workspace names from prefs +Subject: [PATCH 17/18] workspace-indicator: Remove workspace names from prefs Now that names can be changed from the extension itself, we no longer need to expose them in the prefs dialog. @@ -2240,13 +2213,13 @@ index a6857cd7..68ddeb3f 100644 } } -- -2.49.0 +2.50.0 -From 034aab08d5b090acc0f84c4f78b7d97779782aa6 Mon Sep 17 00:00:00 2001 +From d78c1c4debd628c5c238c216c32060d176d19a35 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Fri, 30 May 2025 16:39:22 +0200 -Subject: [PATCH 19/19] window-list: Adjust to workspace-indicator changes +Subject: [PATCH 18/18] window-list: Adjust to workspace-indicator changes Keep the `.panel-button` class to get the expected hover/focus/active styling when using a regular menu button, but remove the horizontal @@ -2259,10 +2232,10 @@ Part-of: