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 ==== * window-list: Fix workspace indicators popup menu position * apps-menu: Fix taking over panel-main-menu shortcut * updated translations (et, ja, lv) Download ======== https://download.gnome.org/sources/gnome-shell-extensions/3.16/gnome-shell-extensions-3.16.1.tar.xz (224K) sha256sum: 88cd3d2df1f0419066a7f01f28ee4fc8f8c4b361dbf44a93067166c8a796a741 _______________________________________________ ftp-release-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/ftp-release-list
