diff --git a/0001-dash-to-panel-Consider-range-around-edges-for-dwelli.patch b/0001-dash-to-panel-Consider-range-around-edges-for-dwelli.patch new file mode 100644 index 0000000..d83b676 --- /dev/null +++ b/0001-dash-to-panel-Consider-range-around-edges-for-dwelli.patch @@ -0,0 +1,49 @@ +From d418620dd765a3b13fd6445e29efe5a375f3734c Mon Sep 17 00:00:00 2001 +From: =?UTF-8?q?Florian=20M=C3=BCllner?= +Date: Tue, 29 Apr 2025 12:22:38 +0200 +Subject: [PATCH] dash-to-panel: Consider range around edges for dwelling + +Rather than only reacting on a single pixel, unhide the dock when +within 5 pixels of the edge (when not using pressure barriers). +--- + extensions/dash-to-panel/intellihide.js | 12 +++++++----- + 1 file changed, 7 insertions(+), 5 deletions(-) + +diff --git a/extensions/dash-to-panel/intellihide.js b/extensions/dash-to-panel/intellihide.js +index 8fb1e976..6649d4a6 100644 +--- a/extensions/dash-to-panel/intellihide.js ++++ b/extensions/dash-to-panel/intellihide.js +@@ -38,6 +38,8 @@ const CHECK_GRAB_MS = 400; + const POST_ANIMATE_MS = 50; + const MIN_UPDATE_MS = 250; + ++const DWELL_RANGE = 5; ++ + //timeout names + const T1 = 'checkGrabTimeout'; + const T2 = 'limitUpdateTimeout'; +@@ -282,10 +284,10 @@ var Intellihide = Utils.defineClass({ + let position = this._dtpPanel.geom.position; + + if (!this._panelBox.hover && !Main.overview.visible && +- ((position == St.Side.TOP && y <= this._monitor.y + 1) || +- (position == St.Side.BOTTOM && y >= this._monitor.y + this._monitor.height - 1) || +- (position == St.Side.LEFT && x <= this._monitor.x + 1) || +- (position == St.Side.RIGHT && x >= this._monitor.x + this._monitor.width - 1)) && ++ ((position == St.Side.TOP && y <= this._monitor.y + DWELL_RANGE) || ++ (position == St.Side.BOTTOM && y >= this._monitor.y + this._monitor.height - DWELL_RANGE) || ++ (position == St.Side.LEFT && x <= this._monitor.x + DWELL_RANGE) || ++ (position == St.Side.RIGHT && x >= this._monitor.x + this._monitor.width - DWELL_RANGE)) && + ((x >= this._monitor.x && x < this._monitor.x + this._monitor.width) && + (y >= this._monitor.y && y < this._monitor.y + this._monitor.height))) { + this._queueUpdatePanelPosition(true); +@@ -398,4 +400,4 @@ var Intellihide = Utils.defineClass({ + + this._hoveredOut = false; + }, +-}); +\ No newline at end of file ++}); +-- +2.50.1 + diff --git a/gnome-shell-extensions.spec b/gnome-shell-extensions.spec index 5fc57ef..7b8f018 100644 --- a/gnome-shell-extensions.spec +++ b/gnome-shell-extensions.spec @@ -6,7 +6,7 @@ Name: gnome-shell-extensions Version: 3.32.1 -Release: 43%{?dist} +Release: 44%{?dist} Summary: Modify and extend GNOME Shell functionality and behavior Group: User Interface/Desktops @@ -64,6 +64,7 @@ Patch0035: window-list-attention-indicator.patch Patch0036: apps-menu-custom-layout-manager.patch Patch0037: dash-to-panel-attention-indicator.patch Patch0038: improve-workspace-names.patch +Patch0039: 0001-dash-to-panel-Consider-range-around-edges-for-dwelli.patch %description GNOME Shell Extensions is a collection of extensions providing additional and @@ -579,6 +580,10 @@ cp $RPM_SOURCE_DIR/gnome-classic.desktop $RPM_BUILD_ROOT%{_datadir}/xsessions %changelog +* Thu Aug 28 2025 Florian Müllner - 3.32.1-44 +- Consider range around edges for dwelling + Resolves: RHEL-28818 + * Wed Jul 16 2025 Florian Müllner - 3.32.1-43 - Make workspace names more prominent Resolves: RHEL-96219