A collection of extensions for GNOME Shell

GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell.

Refresh
Refresh
Source Files
Filename Size Changed Actions
0001-window-list-import-gettext-for-the-right-domain.patch 0000001047 1.02 KB about 5 years
README.SUSE 0000000207 207 Bytes over 7 years
gnome-classic-exts-arrow-fix.patch 0000001673 1.63 KB over 5 years
gnome-classic-move-notification-widget-above.patch 0000001496 1.46 KB about 5 years
gnome-shell-add-app-to-desktop.patch 0000005570 5.44 KB about 5 years
gnome-shell-extensions-3.10.1.tar.xz 0000200136 195 KB about 6 years
gnome-shell-extensions-bnc872820-wm-button-layout.patch 0000001240 1.21 KB about 5 years
gnome-shell-extensions.changes 0000028819 28.1 KB about 5 years
gnome-shell-extensions.spec 0000008078 7.89 KB about 5 years
gnome-shell-use-env-var-for-mode.patch 0000001090 1.06 KB over 5 years
gnome-sle-classic-ext-build.patch 0000006187 6.04 KB about 5 years
place-menu-handle-special-user-dirs-update.patch 0000004790 4.68 KB about 5 years
sle-classic-favorites-menu-at-end.patch 0000001503 1.47 KB about 5 years
sle-classic.tar.bz2 0000018460 18 KB about 5 years
Comments for gnome-shell-extensions 0