Declare gnome-shell 40.* compatibility

[roundrobintaborder] / extension.js

diff --git a/extension.js b/extension.js
index 3b5a6a6efea4fb69ceceb66ccbf14ce9f8672dfa..ca2b0035f1e1a2311f0f06661ccec33e652de7c9 100644 (file)
--- a/extension.js
+++ b/extension.js
@@ -4,7 +4,7 @@
  * This program is free software; you can redistribute it and/or
  * modify it under the terms of the GNU General Public License
  * as published by the Free Software Foundation; either version 2
- * of the License, or (at your option) any later version.
+ * or version 3 of the License (at your option).
  *
  * This program is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ -38,7 +38,7 @@ function enable() {
     global.display.get_tab_list = function(type, workspace) {
         const ret = oldGetTabList.call(this, type, workspace);
         const currentWindow = global.display.get_focus_window().get_id();
-        ret.sort((a, b) => roundRobinRomparitor(currentWindow, a, b));
+        ret.sort((a, b) => roundRobinComparitor(currentWindow, a, b));
         return ret;
     };
 }