user interface/desktops

gnome-shell-extension-panel-favorites - Favorite launchers in GNOME Shell's top bar

Website: http://wiki.gnome.org/Projects/GnomeShell/Extensions
License: GPLv2+
Vendor: Scientific Linux
Description:
This GNOME Shell extension adds favorite launchers to the top bar.

Packages

gnome-shell-extension-panel-favorites-3.28.1-17.el7_9.noarch [20 KiB] Changelog by Florian Müllner (2021-04-15):
- Override lg foreground color
  Resolves: #1875419
gnome-shell-extension-panel-favorites-3.28.1-16.el7_9.noarch [20 KiB] Changelog by Florian Müllner (2021-01-26):
- Fix stuck window picker after screen lock
  Resolves: #1904371

Listing created by Repoview-0.6.6-4.el7