1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
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
|