Differences

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

--- gnome:extensions [2022/07/23 09:58] – 194.32.120.110
+++ gnome:extensions [2022/09/23 16:14] (current) – peter
@@ Line 2: / Line 2: @@
 [[Gnome:Extensions:Create an Extension|Create an Extension]]
+[[Gnome:Extensions:extension.js|extension.js]]
 [[Gnome:Extensions:Extra In-House Extensions|Extra In-House Extensions]]
@@ Line 12: / Line 14: @@
 [[Gnome:Extensions:Install GNOME Shell extensions from a web browser|Install GNOME Shell extensions from a web browser]]
+[[Gnome:Extensions:metadata.json|metadata.json]]
+[[Gnome:Extensions:prefs.js|prefs.js]]
 [[Gnome:Extensions:Remove GNOME Shell Extensions|Remove GNOME Shell Extensions]]
@@ Line 18: / Line 24: @@
 [[Gnome:Extensions:VPN Indicator|VPN Indicator]]
+[[Gnome:Extensions:VPN Status|VPN Status]]
 ----