blob: 333d1c7c22b3138ee773e95595edc57c773e311a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
From ff442818fb5c4fd9521c532200ff825061fa35e4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Rochet?= <raphael@rri.fr>
Date: Mon, 11 Feb 2019 21:26:24 +0100
Subject: [PATCH] Fix #6 by removing old swipe animation
---
extension.js | 16 ++--------------
1 file changed, 2 insertions(+), 14 deletions(-)
diff --git a/extension.js b/extension.js
index 1eda926..deffc58 100644
--- a/extension.js
+++ b/extension.js
@@ -175,16 +175,10 @@ function _onLeave() {
_labelTimeoutId = 0;
}
- // but give a chance to skip hover delay if the cursor hovers another icon
if (_labelShowing) {
- _resetHoverTimeoutId = Mainloop.timeout_add(HIDEDELAY, function() {
- _hideTooltip();
- _labelShowing = false;
- _resetHoverTimeoutId = 0;
- return false;
- } );
+ _hideTooltip();
+ _labelShowing = false;
}
-
}
@@ -277,12 +271,6 @@ function _showTooltip(actor) {
}
- // do not hide tooltip while cursor is on icon
- if (_resetHoverTimeoutId > 0) {
- Mainloop.source_remove(_resetHoverTimeoutId);
- _resetHoverTimeoutId = 0;
- }
-
} else {
// No tooltip to show : act like we're leaving an icon
|
