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: Improve styling * window-list: Hide workspace indicator when there's a single (static) workspace * new translation (be) Download ======== https://download.gnome.org/sources/gnome-shell-extensions/3.23/gnome-shell-extensions-3.23.90.tar.xz (334K) sha256sum: 38879d45c8ffc3f972a8bb54e5b1c284823fb9c5417a0725be66d4abf3288723
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
