About GNOME Shell Extensions ============================ GNOME Shell Extensions is a collection of extensions providing additional and optional functionality to GNOME Shell. Most extensions can be installed by configuring --prefix=$HOME/.local, and will be picked automatically at next login.
News ==== * important: default-min-max and static-workspaces were dropped and replaced with classic-mode schema overrides * apps-menu and classic-mode in general: fix the scrollbar theming * alternative-status-menu honors again GSettings * native-window-placement respects again captions-on-top * translation updates (sk) Download ======== http://download.gnome.org/sources/gnome-shell-extensions/3.8/gnome-shell-extensions-3.8.3.tar.xz (172K) sha256sum: 53897ebfaf078b46dcffe4b76e91d6441fa00247a103a6c3a58855c796df7c9b _______________________________________________ ftp-release-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/ftp-release-list
