gnome-extra/gnome-shell-extension-applications-overview-tooltip: Drop old

Package-Manager: Portage-2.3.67, Repoman-2.3.13
Signed-off-by: Pacho Ramos <pacho@gentoo.org>

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 333d1c7c22b3..000000000000
--- 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