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 ==== * Fix windowsNavigator extension after ES6 port [Florian; #143] * screenshot-window-sizer: Add phone screenshot sizes [Adrien; !65] * Misc. bug fixes and cleanups [Fabian; !62] Contributors: Florian Müllner, Adrien Plazas, Fabian P. Schmidt Download ======== https://download.gnome.org/sources/gnome-shell-extensions/3.32/gnome-shell-extensions-3.32.1.tar.xz (194K) sha256sum: 02b2b2fb477fcd8277ee3ce34ec156d97724011f2660dd2e14c412f18d5b911e _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
