gnome-shell-extensions 40.5

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.


* native-window-placement: Fix distorted layout in app grid [Sebastian; !189]
* window-list: Fix on-screen keyboard [Florian; !199]
* Misc. bug fixes [Neal; !195]

  Neal Gompa, Sebastian Keller, Florian Müllner

======== (214K)
  sha256sum: b8097f1d4972f75d7e405f15305e80a0865de283f0a261e40f6c8fc7907fcf29

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]