Codebase list gnome-shell-extension-top-icons-plus / 1ce35af
New upstream snapshot. Debian Janitor 2 years ago
3 changed file(s) with 10 addition(s) and 7 deletion(s). Raw diff Collapse all Expand all
+6
-0
debian/changelog less more
0 gnome-shell-extension-top-icons-plus (27+git20210810.1.0f1c932-1) UNRELEASED; urgency=low
1
2 * New upstream snapshot.
3
4 -- Debian Janitor <janitor@jelmer.uk> Thu, 02 Sep 2021 18:17:50 -0000
5
06 gnome-shell-extension-top-icons-plus (27-3) experimental; urgency=medium
17
28 * Add patch for compatibility with GNOME 40 (Closes: #993062)
+2
-3
metadata.json less more
22 "name": "TopIcons Plus",
33 "gettext-domain": "TopIcons-Plus",
44 "shell-version": [
5 "3.34",
6 "3.36"
5 "40"
76 ],
87 "settings-schema": "org.gnome.shell.extensions.topicons",
98 "url": "https://github.com/phocean/TopIcons-plus",
109 "uuid": "TopIcons@phocean.net",
11 "version": 27
10 "version": 28
1211 }
+2
-4
prefs.js less more
1111 const _ = Gettext.gettext;
1212
1313 function init() {
14 Convenience.initTranslations();
14 ExtensionUtils.initTranslations();
1515 }
1616
1717 const TopIconsPlusSettings = new GObject.Class({
179179 });
180180
181181 function buildPrefsWidget() {
182 let widget = new TopIconsPlusSettings();
183 widget.show_all();
182 return new TopIconsPlusSettings();
184183
185 return widget;
186184 }