summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'gnome-extra/gnome-shell-extension-applications-overview-tooltip/files/gnome-shell-extension-applications-overview-tooltip-4-old-animation.patch')
-rw-r--r--gnome-extra/gnome-shell-extension-applications-overview-tooltip/files/gnome-shell-extension-applications-overview-tooltip-4-old-animation.patch45
1 files changed, 0 insertions, 45 deletions
diff --git a/gnome-extra/gnome-shell-extension-applications-overview-tooltip/files/gnome-shell-extension-applications-overview-tooltip-4-old-animation.patch b/gnome-extra/gnome-shell-extension-applications-overview-tooltip/files/gnome-shell-extension-applications-overview-tooltip-4-old-animation.patch
deleted file mode 100644
index 333d1c7c22b..00000000000
--- a/gnome-extra/gnome-shell-extension-applications-overview-tooltip/files/gnome-shell-extension-applications-overview-tooltip-4-old-animation.patch
+++ /dev/null
@@ -1,45 +0,0 @@
-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