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 ==== * native-window-placement: Fix distorted layout in app grid [Sebastian; !189] * window-list: Fix on-screen keyboard [Florian; !199] * Misc. bug fixes [Neal; !195] Contributors: Neal Gompa, Sebastian Keller, Florian Müllner Download ======== https://download.gnome.org/sources/gnome-shell-extensions/40/gnome-shell-extensions-40.5.tar.xz (214K) sha256sum: b8097f1d4972f75d7e405f15305e80a0865de283f0a261e40f6c8fc7907fcf29 _______________________________________________ ftp-release-list mailing list ftp-release-list@gnome.org https://mail.gnome.org/mailman/listinfo/ftp-release-list
