gnome-shell-extensions 3.14.1

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.


 * 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)

======== (222K)
  sha256sum: 797eda0adc37322aaab7e4b194d69ca7855b0e6e1428bf38f295fd87a18e9b18

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