gnome-shell-extensions.txt

--- Activities configurator ---
https://extensions.gnome.org/extension/358/activities-configurator/

--- Alternatetab ---
https://extensions.gnome.org/extension/15/alternatetab/

--- Battery status ---
https://extensions.gnome.org/extension/817/battery-status/

--- Coverflow alt-tab ---
https://extensions.gnome.org/extension/97/coverflow-alt-tab/

--- Dynamic panel transparency ---
https://extensions.gnome.org/extension/1011/dynamic-panel-transparency/

--- Focus my window ---
https://extensions.gnome.org/extension/1005/focus-my-window/

--- Hide app icon ---
https://extensions.gnome.org/extension/810/hide-app-icon/

--- Impatience ---
https://extensions.gnome.org/extension/277/impatience/

--- Laine ---
https://extensions.gnome.org/extension/937/laine/

--- Multi monitors add-on ---
https://extensions.gnome.org/extension/921/multi-monitors-add-on/

--- Panel osd ---
https://extensions.gnome.org/extension/708/panel-osd/

--- Pixel saver ---
https://extensions.gnome.org/extension/723/pixel-saver/

--- Recent(item)s ---
https://extensions.gnome.org/extension/977/recent-items/

--- Removable drive menu ---
https://extensions.gnome.org/extension/7/removable-drive-menu/

--- Remove dropdown arrows ---
https://extensions.gnome.org/extension/800/remove-dropdown-arrows/

--- Status title bar ---
https://extensions.gnome.org/extension/59/status-title-bar/

--- Text scaler ---
https://extensions.gnome.org/extension/1018/text-scaler/

--- Trash ---
https://extensions.gnome.org/extension/48/trash/

--- User themes ---
https://extensions.gnome.org/extension/19/user-themes/

--- Window list ---
https://extensions.gnome.org/extension/602/window-list/

--- Window search provider ---
https://extensions.gnome.org/extension/1001/window-search-provider/

--- Windownavigator ---
https://extensions.gnome.org/extension/10/windownavigator/