You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hello
It seems that the extension is broken for Ubuntu 17.10 (gnome-shell version - 3.26.1- included in the distribution). The patch below solves the issue that i was facing.
diff --git a/extension.js b/extension.js
index 364d33e..3fa51f9 100644
--- a/extension.js
+++ b/extension.js
@@ -65,7 +65,7 @@ let focusMetaWindow = false;
let focusWindowActor = false;
let focusMetaWindowConnections = new Array();
let focusMetaWindowPrivateConnections = new Array();
-let tracker;
+// let tracker;
let gridSettings = new Object();
let settings = Settings.get();
let toggleSettingListener;
Best Regards
Yusein
The text was updated successfully, but these errors were encountered:
Hello
It seems that the extension is broken for Ubuntu 17.10 (gnome-shell version - 3.26.1- included in the distribution). The patch below solves the issue that i was facing.
diff --git a/extension.js b/extension.js
index 364d33e..3fa51f9 100644
--- a/extension.js
+++ b/extension.js
@@ -65,7 +65,7 @@ let focusMetaWindow = false;
let focusWindowActor = false;
let focusMetaWindowConnections = new Array();
let focusMetaWindowPrivateConnections = new Array();
-let tracker;
+// let tracker;
let gridSettings = new Object();
let settings = Settings.get();
let toggleSettingListener;
Best Regards
Yusein
The text was updated successfully, but these errors were encountered: