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;
}