diff options
Diffstat (limited to 'gnome-extra')
4 files changed, 0 insertions, 116 deletions
diff --git a/gnome-extra/gnome-shell-extension-applications-overview-tooltip/Manifest b/gnome-extra/gnome-shell-extension-applications-overview-tooltip/Manifest index ad459aa13e05..203b4f5c750c 100644 --- a/gnome-extra/gnome-shell-extension-applications-overview-tooltip/Manifest +++ b/gnome-extra/gnome-shell-extension-applications-overview-tooltip/Manifest @@ -1,2 +1 @@ -DIST gnome-shell-extension-applications-overview-tooltip-4.tar.gz 79384 BLAKE2B 9e428b66351cb26615050a1c2e8e7ee1e325079b46ae7fc40eb836aef652ca33e04af9b39c07098364b6844c057867e9e5ddee291748afe63084caa108289037 SHA512 befb6f11f7836010077aba10d8664ba462c7153b498e25b5ad0fa12e065dc0b84302b7cc97d1f0685108ea92c20b61491c85a25a4511ad7237b1c0122a587868 DIST gnome-shell-extension-applications-overview-tooltip-5.tar.gz 79336 BLAKE2B 789e1c91b25ea810ff6575be5c5a83e51800feb9deaf488105593dc36c93c06a16624d4d7704da9de516b1fae053b0108c2e85eef8f0228fc46bc33589328970 SHA512 bde1870b873e8e9aa8d3395414cddf05a3014196e2d860f7ff8fec1dab49f9dbb694420efb89096e498f03a79c76fc7ec3229fab0253dc9b0b31466cfd48d124 diff --git a/gnome-extra/gnome-shell-extension-applications-overview-tooltip/files/gnome-shell-extension-applications-overview-tooltip-4-js-warning.patch b/gnome-extra/gnome-shell-extension-applications-overview-tooltip/files/gnome-shell-extension-applications-overview-tooltip-4-js-warning.patch deleted file mode 100644 index 0ed36b288f0e..000000000000 --- a/gnome-extra/gnome-shell-extension-applications-overview-tooltip/files/gnome-shell-extension-applications-overview-tooltip-4-js-warning.patch +++ /dev/null @@ -1,24 +0,0 @@ -From 27af671cca3fc6b9dd5c8687c1b3d0d530ccc516 Mon Sep 17 00:00:00 2001 -From: =?UTF-8?q?Rapha=C3=ABl=20Rochet?= <raphael@rri.fr> -Date: Sun, 23 Sep 2018 16:39:36 +0200 -Subject: [PATCH] Fix JS warning - ---- - extension.js | 4 ++-- - 1 file changed, 2 insertions(+), 2 deletions(-) - -diff --git a/extension.js b/extension.js -index 346a89a..1eda926 100644 ---- a/extension.js -+++ b/extension.js -@@ -250,8 +250,8 @@ function _showTooltip(actor) { - - if (!detailtext) { _ttdetail.hide() } else { _ttdetail.show() }; - -- [stageX, stageY] = actor.get_transformed_position(); -- [iconWidth, iconHeight] = actor.get_transformed_size(); -+ let [stageX, stageY] = actor.get_transformed_position(); -+ let [iconWidth, iconHeight] = actor.get_transformed_size(); - let y = stageY + iconHeight + 5; - let x = stageX - Math.round((_ttbox.get_width() - iconWidth)/2); - 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 diff --git a/gnome-extra/gnome-shell-extension-applications-overview-tooltip/gnome-shell-extension-applications-overview-tooltip-4.ebuild b/gnome-extra/gnome-shell-extension-applications-overview-tooltip/gnome-shell-extension-applications-overview-tooltip-4.ebuild deleted file mode 100644 index 73ae2aaec43e..000000000000 --- a/gnome-extra/gnome-shell-extension-applications-overview-tooltip/gnome-shell-extension-applications-overview-tooltip-4.ebuild +++ /dev/null @@ -1,46 +0,0 @@ -# Copyright 1999-2019 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 -inherit vcs-snapshot - -# Workaround until https://bugzilla.gnome.org/show_bug.cgi?id=663725 is fixed -DESCRIPTION="Show tooltip with full name and description" -HOMEPAGE="https://github.com/RaphaelRochet/applications-overview-tooltip" -SRC_URI="https://github.com/RaphaelRochet/applications-overview-tooltip/archive/v${PV}.tar.gz -> ${P}.tar.gz" - -# https://github.com/RaphaelRochet/applications-overview-tooltip/issues/7 -LICENSE="public-domain" -SLOT="0" -KEYWORDS="amd64 x86" -IUSE="" - -# glib for glib-compile-schemas at build time, needed at runtime anyways -COMMON_DEPEND=" - dev-libs/glib:2 -" -RDEPEND="${COMMON_DEPEND} - app-eselect/eselect-gnome-shell-extensions - >=gnome-base/gnome-shell-3.20 -" -DEPEND="${COMMON_DEPEND}" - -PATCHES=( - # From 'master' - "${FILESDIR}"/${P}-old-animation.patch - "${FILESDIR}"/${P}-js-warning.patch -) - -src_install() { - einstalldocs - rm -f README.md || die - insinto /usr/share/gnome-shell/extensions/applications-overview-tooltip@RaphaelRochet - doins -r * - glib-compile-schemas "${ED}"/usr/share/gnome-shell/extensions/applications-overview-tooltip@RaphaelRochet/schemas || die -} - -pkg_postinst() { - ebegin "Updating list of installed extensions" - eselect gnome-shell-extensions update - eend $? -} |