diff options
Diffstat (limited to 'gnome-extra/gnome-shell-extension-applications-overview-tooltip/files/gnome-shell-extension-applications-overview-tooltip-4-js-warning.patch')
-rw-r--r-- | gnome-extra/gnome-shell-extension-applications-overview-tooltip/files/gnome-shell-extension-applications-overview-tooltip-4-js-warning.patch | 24 |
1 files changed, 0 insertions, 24 deletions
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); - |