summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'gnome-extra/gnome-shell-extensions-topicons-plus/files')
-rw-r--r--gnome-extra/gnome-shell-extensions-topicons-plus/files/restore-3.22-compat.patch42
1 files changed, 0 insertions, 42 deletions
diff --git a/gnome-extra/gnome-shell-extensions-topicons-plus/files/restore-3.22-compat.patch b/gnome-extra/gnome-shell-extensions-topicons-plus/files/restore-3.22-compat.patch
deleted file mode 100644
index 9d3104a7da5..00000000000
--- a/gnome-extra/gnome-shell-extensions-topicons-plus/files/restore-3.22-compat.patch
+++ /dev/null
@@ -1,42 +0,0 @@
-From 0a357137c27d3e1f2f236a1e76e7b38f6e39d846 Mon Sep 17 00:00:00 2001
-From: "Robin A. Meade" <robin.a.meade@gmail.com>
-Date: Thu, 31 Oct 2019 16:08:24 -1000
-Subject: [PATCH] Fix TopIcons no longer working with gnome-shell < 3.33.90
-
-This fixes the following error:
-gnome-shell: JS ERROR: TypeError: Main.extensionManager is undefined
-onTrayIconAdded@/usr/share/gnome-shell/extensions/TopIcons@phocean.net/extension.js:85:1
-
-Related:
-https://github.com/phocean/TopIcons-plus/commit/43f991d1533e8d4002bd25ae6afd8a1568c39b36#diff-06f1274e40de25abda72d812b1cce86a
-https://bugzilla.redhat.com/show_bug.cgi?id=1767544
----
- extension.js | 15 ++++++++++++---
- 1 file changed, 12 insertions(+), 3 deletions(-)
-
-diff --git a/extension.js b/extension.js
-index 191fa5c..116a60b 100644
---- a/extension.js
-+++ b/extension.js
-@@ -82,9 +82,18 @@ function onTrayIconAdded(o, icon, role, delay=1000) {
- // loop through the array and hide the extension if extension X is enabled and corresponding application is running
- let iconWmClass = icon.wm_class ? icon.wm_class.toLowerCase() : '';
- for (let [wmClass, uuid] of blacklist) {
-- if (Main.extensionManager.lookup(uuid) &&
-- iconWmClass === wmClass)
-- return;
-+ if (Main.extensionManager === undefined) {
-+ // For gnome-shell < 3.33.90
-+ if (ExtensionUtils.extensions[uuid] !== undefined &&
-+ ExtensionUtils.extensions[uuid].state === 1 &&
-+ iconWmClass === wmClass)
-+ return;
-+ } else {
-+ // For gnome-shell >= 3.33.90
-+ if (Main.extensionManager.lookup(uuid) &&
-+ iconWmClass === wmClass)
-+ return;
-+ }
- }
-
- let iconContainer = new St.Button({child: icon, visible: false});