gnome-shell-extensions/0001-dash-to-panel-Consider-range-around-edges-for-dwelli.patch

50 lines
2.1 KiB
Diff

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