From 98cd17aa324a031e2ee3d344582dfdafd1e4642f Mon Sep 17 00:00:00 2001 From: Tiramisu Mokka 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; }