summaryrefslogtreecommitdiff
path: root/gnome-extra/gnome-shell-extension-applications-overview-tooltip/files/gnome-shell-extension-applications-overview-tooltip-4-js-warning.patch
blob: 0ed36b288f0e8ed6765e37689c7640a363f900a0 (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
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);