Differences

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

--- gnome:extensions [2022/07/23 09:08] – 194.32.120.114
+++ gnome:extensions [2022/09/23 16:14] (current) – peter
@@ Line 1: / Line 1: @@
 ====== Gnome - Extensions ======
+[[Gnome:Extensions:Create an Extension|Create an Extension]]
+[[Gnome:Extensions:extension.js|extension.js]]
 [[Gnome:Extensions:Extra In-House Extensions|Extra In-House Extensions]]
-[[Gnome:Extensions:Gnome-Tweaks|Gnome-Tweaks]]
+[[Gnome:Extensions:Get a list of installed GNOME Shell Extensions|Get a list of installed GNOME Shell Extensions]]
 [[Gnome:Extensions:Get notified of GNOME Shell Extensions updates|Get notified of GNOME Shell Extensions updates]]
@@ Line 10: / 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]]
+[[Gnome:Extensions:Gnome-Tweaks|Gnome-Tweaks]]
+[[Gnome:Extensions:VPN Indicator|VPN Indicator]]
+[[Gnome:Extensions:VPN Status|VPN Status]]
 ----