gnome-shell-extensions 3.11.90

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.


* several fixes and improvements to the window-list
  (can be scrolled, works correctly with the OSD
  keyboard, filters skip-taskbar windows, does not
  force all notifications to bold)
* drive-menu fixed not to show shadowed mounts
* updates for gnome-shell changes (launch-new-instance,
  auto-move-windows, places-menu)
* build system fixes for systems without /bin/bash
* updated translations (or, tr, uk)

* updates for gnome-shell changes
* updated translations (kn)

======== (201K)
  sha256sum: 1f4217da733d9be589e0d7fd3709b6659399bf1a0d274c223d64cb15fc7a015c

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