Make compatible with GNOME Shell 3.36.x
Closes: #956170
Kyle Robbertze
4 years ago
12 | 12 |
|
13 | 13 |
Package: gnome-shell-extension-show-ip
|
14 | 14 |
Architecture: all
|
15 | |
Depends: ${misc:Depends}, gnome-shell (>= 3.16)
|
|
15 |
Depends: ${misc:Depends},
|
|
16 |
gnome-shell (>= 3.16),
|
|
17 |
gnome-shell-extension-prefs
|
16 | 18 |
Description: Shows the current private or public IP address
|
17 | 19 |
Show-IP is a GNOME Shell extension that shows the current private or public IP
|
18 | 20 |
address if NetworkManager is used. It allows the user to set which device to
|
|
0 |
From: Kyle Robbertze <paddatrapper@debian.org>
|
|
1 |
Date: Mon, 4 May 2020 12:02:29 +0200
|
|
2 |
Subject: Fix preference launcher for GNOME Shell 3.36
|
|
3 |
|
|
4 |
---
|
|
5 |
extension.js | 6 +++++-
|
|
6 |
1 file changed, 5 insertions(+), 1 deletion(-)
|
|
7 |
|
|
8 |
diff --git a/extension.js b/extension.js
|
|
9 |
index 15a6f9a..670463b 100644
|
|
10 |
--- a/extension.js
|
|
11 |
+++ b/extension.js
|
|
12 |
@@ -58,7 +58,11 @@ Soup.Session.prototype.add_feature.call(_httpSession, new Soup.ProxyResolverDefa
|
|
13 |
*/
|
|
14 |
const Shell = imports.gi.Shell;
|
|
15 |
let _appSys = Shell.AppSystem.get_default();
|
|
16 |
-let _gsmPrefs = _appSys.lookup_app('gnome-shell-extension-prefs.desktop');
|
|
17 |
+let _gsmPrefs = _appSys.lookup_app('org.gnome.Extensions.desktop');
|
|
18 |
+if (_gsmPrefs == None) {
|
|
19 |
+ // GNOME Shell versions < 3.36
|
|
20 |
+ let _gsmPrefs = _appSys.lookup_app('gnome-shell-extension-prefs.desktop');
|
|
21 |
+}
|
|
22 |
let indicator = null;
|
|
23 |
let metadata = Me.metadata;
|
|
24 |
let Schema = null;
|
0 | 0 |
0001-extension-make-compatible-with-libnm.patch
|
1 | 1 |
0002-default-to-primary-address.patch
|
2 | 2 |
0003-show-addresses-in-selection-list.patch
|
|
3 |
0004-Fix-preference-launcher-for-GNOME-Shell-3.36.patch
|