gnome-shell-extension-topicons-plus: patch for shell 42

1 files changed, 54 insertions, 0 deletions

diff --git a/0001-fix-compatibility-with-gnome40.patch b/0001-fix-compatibility-with-gnome40.patch
new file mode 100644
index 000000000000..5472291f036c
--- /dev/null
+++ b/0001-fix-compatibility-with-gnome40.patch
@@ -0,0 +1,54 @@
+From aa6d016f42dd4ac80275ba7e72ac669f9c8d82e6 Mon Sep 17 00:00:00 2001
+From: Tiramisu Mokka <kofemann@gmail.com>
+Date: Fri, 19 Mar 2021 19:00:32 +0100
+Subject: [PATCH 1/3] fix compatibility with gnome40
+
+---
+ metadata.json | 5 ++---
+ prefs.js      | 6 ++----
+ 2 files changed, 4 insertions(+), 7 deletions(-)
+
+diff --git a/metadata.json b/metadata.json
+index e4c9691..8a07918 100644
+--- a/metadata.json
++++ b/metadata.json
+@@ -3,11 +3,10 @@
+   "name": "TopIcons Plus",
+   "gettext-domain": "TopIcons-Plus",
+   "shell-version": [
+-    "3.34",
+-    "3.36"
++    "40"
+   ],
+   "settings-schema": "org.gnome.shell.extensions.topicons",
+   "url": "https://github.com/phocean/TopIcons-plus",
+   "uuid": "TopIcons@phocean.net",
+-  "version": 27
++  "version": 28
+ }
+diff --git a/prefs.js b/prefs.js
+index bd372d2..f6b1277 100644
+--- a/prefs.js
++++ b/prefs.js
+@@ -12,7 +12,7 @@ const Gettext = imports.gettext.domain(Me.metadata['gettext-domain']);
+ const _ = Gettext.gettext;
+ 
+ function init() {
+-    Convenience.initTranslations();
++    ExtensionUtils.initTranslations();
+ }
+ 
+ const TopIconsPlusSettings = new GObject.Class({
+@@ -180,8 +180,6 @@ const TopIconsPlusSettings = new GObject.Class({
+ });
+ 
+ function buildPrefsWidget() {
+-     let widget = new TopIconsPlusSettings();
+-     widget.show_all();
++     return new TopIconsPlusSettings();
+ 
+-     return widget;
+ }
+-- 
+2.35.3
+