summaryrefslogtreecommitdiff
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