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 ==== * alternateTab: Fix dismissing popup with Escape * some improvements to the window-list (spacing in app buttons, no flash when closing windows with auto-grouping) * updated translations (lv, it, pt, bg) Download ======== https://download.gnome.org/sources/gnome-shell-extensions/3.14/gnome-shell-extensions-3.14.1.tar.xz (222K) sha256sum: 797eda0adc37322aaab7e4b194d69ca7855b0e6e1428bf38f295fd87a18e9b18 _______________________________________________ ftp-release-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/ftp-release-list
