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

Consider range around edges for dwelling

Browse Source 
Resolves: https://issues.redhat.com/browse/RHEL-28818
This commit is contained in:
Florian Müllner 2025-08-28 20:55:18 +02:00
parent 09b06d868a
commit 05a3edb451
No known key found for this signature in database
2 changed files with 55 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
0001-dash-to-panel-Consider-range-around-edges-for-dwelli.patch Normal file
View File

@ -0,0 +1,49 @@
From d418620dd765a3b13fd6445e29efe5a375f3734c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
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

7
gnome-shell-extensions.spec
View File

@ -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 <fmuellner@redhat.com> - 3.32.1-44
- Consider range around edges for dwelling
Resolves: RHEL-28818
* Wed Jul 16 2025 Florian Müllner <fmuellner@redhat.com> - 3.32.1-43
- Make workspace names more prominent
Resolves: RHEL-96219