Différences

Ci-dessous, les différences entre deux révisions de la page.

--- gnome_shell [2020/05/19 17:26] – 84.6.141.64
+++ gnome_shell [2023/05/08 01:41] (Version actuelle) – modification externe 127.0.0.1
@@ Ligne 4: / Ligne 4: @@
 \\
 ===extensions===
 dépot : https://extensions.gnome.org/
 installées : https://extensions.gnome.org/local/
+liste extensions usuelles :
+Alt Tab Workspace by kwalo
+Animation Tweaks by Selenium_H12345
+Coverflow Alt-Tab by p91paul
+Dash to Dock by michele_g
+Desktop Icons by rastersoft
+Gnome-Shutdown Button by kirby_33
+Impatience by gfxmonk
+Lock Keys by kazimieras.vaina
+Remove Alt+Tab Delay by tetrafox
+Services Systemd by petres
+Tray Icons: Reloaded by MartinPL
+User Themes by fmuellner
 \\
 ===emplacements==