Differences

This shows you the differences between two versions of the page.

--- gnome:extensions [2022/07/23 10:30] – 194.32.120.110
+++ gnome:extensions [2022/09/23 16:14] (current) – peter
@@ Line 16: / Line 16: @@
 [[Gnome:Extensions:metadata.json|metadata.json]]
+[[Gnome:Extensions:prefs.js|prefs.js]]
 [[Gnome:Extensions:Remove GNOME Shell Extensions|Remove GNOME Shell Extensions]]
@@ Line 22: / Line 24: @@
 [[Gnome:Extensions:VPN Indicator|VPN Indicator]]
+[[Gnome:Extensions:VPN Status|VPN Status]]
 ----