diff options
Diffstat (limited to 'gnome-extra/gnome-shell-extensions-topicons-plus/files/restore-3.22-compat.patch')
-rw-r--r-- | gnome-extra/gnome-shell-extensions-topicons-plus/files/restore-3.22-compat.patch | 42 |
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 9d3104a7da5a..000000000000 --- 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}); |