diff options
author | j.r | 2022-04-17 11:54:49 +0200 |
---|---|---|
committer | j.r | 2022-04-17 11:54:49 +0200 |
commit | 2292232199b90c8362afd5720926597ae4fc929f (patch) | |
tree | c1142526c98feca357638062dbfdca5f4b8bf140 /0001-fix-compatibility-with-gnome40.patch | |
parent | d48d69405908dbbd128e100819df72a0e7fb05f5 (diff) | |
download | aur-2292232199b90c8362afd5720926597ae4fc929f.tar.gz |
gnome-shell-extension-topicons-plus: patch for shell 42
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..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 + |