diff options
Diffstat (limited to '0001-fix-compatibility-with-gnome40.patch')
| -rw-r--r-- | 0001-fix-compatibility-with-gnome40.patch | 54 |
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..2b9a6c443e7d --- /dev/null +++ b/0001-fix-compatibility-with-gnome40.patch @@ -0,0 +1,54 @@ +From 98cd17aa324a031e2ee3d344582dfdafd1e4642f Mon Sep 17 00:00:00 2001 +From: Tiramisu Mokka <kofemann@gmail.com> +Date: Fri, 19 Mar 2021 19:00:32 +0100 +Subject: [PATCH] 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.31.1 + |