From 81ded7a4439cbcf086c58bcaad96a471e1156700 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Tue, 2 Jul 2024 19:38:11 +0200 Subject: [PATCH] Extend workspace buttons to screen edge Resolves: https://issues.redhat.com/browse/RHEL-45930 --- ...cator-Re-fittsify-workspace-previews.patch | 51 +++++++++++++++++++ gnome-shell-extensions.spec | 2 + 2 files changed, 53 insertions(+) create mode 100644 0001-workspace-indicator-Re-fittsify-workspace-previews.patch diff --git a/0001-workspace-indicator-Re-fittsify-workspace-previews.patch b/0001-workspace-indicator-Re-fittsify-workspace-previews.patch new file mode 100644 index 0000000..ec69ba5 --- /dev/null +++ b/0001-workspace-indicator-Re-fittsify-workspace-previews.patch @@ -0,0 +1,51 @@ +From b94a924c682081e72b52de5a7c5db5cec18cf0f3 Mon Sep 17 00:00:00 2001 +From: =?UTF-8?q?Florian=20M=C3=BCllner?= +Date: Tue, 2 Jul 2024 19:04:10 +0200 +Subject: [PATCH] workspace-indicator: Re-fittsify workspace previews + +For the window-list extension, it is important that the workspace +previews extend to the bottom edge for easier click targets. + +That broke while merging the code with the workspace-indicator, +fix it again by moving the padding from the parent box into the +thumbnail children. +--- + .../workspace-indicator/stylesheet-dark.css | 15 ++++++++++++++- + 1 file changed, 14 insertions(+), 1 deletion(-) + +diff --git a/extensions/workspace-indicator/stylesheet-dark.css b/extensions/workspace-indicator/stylesheet-dark.css +index b4a716b8..3c57c3e6 100644 +--- a/extensions/workspace-indicator/stylesheet-dark.css ++++ b/extensions/workspace-indicator/stylesheet-dark.css +@@ -18,7 +18,6 @@ + } + + .workspace-indicator .workspaces-box { +- padding: 5px; + spacing: 3px; + } + +@@ -27,6 +26,20 @@ + spacing: 6px; + } + ++.workspace-indicator .workspace-box { ++ padding-top: 5px; ++ padding-bottom: 5px; ++} ++ ++.workspace-indicator StButton:first-child:ltr > .workspace-box, ++.workspace-indicator StButton:last-child:rtl > .workspace-box { ++ padding-left: 5px; ++} ++.workspace-indicator StButton:last-child:ltr > .workspace-box, ++.workspace-indicator StButton:first-child:rtl > .workspace-box { ++ padding-right: 5px; ++} ++ + .workspace-indicator-menu .workspace-box { + spacing: 6px; + } +-- +2.45.2 + diff --git a/gnome-shell-extensions.spec b/gnome-shell-extensions.spec index 690cb8d..2871e01 100644 --- a/gnome-shell-extensions.spec +++ b/gnome-shell-extensions.spec @@ -65,6 +65,8 @@ Patch: more-ws-previews-0026-workspace-indicator-Also-show-previews-in-menu.patc Patch: more-ws-previews-0027-workspace-indicator-Make-previews-configurable.patch Patch: more-ws-previews-0028-window-list-Expose-workspace-preview-option.patch +Patch: 0001-workspace-indicator-Re-fittsify-workspace-previews.patch + %description GNOME Shell Extensions is a collection of extensions providing additional and optional functionality to GNOME Shell.