gnome-shell-extension-panel-favorites - Favorite launchers in GNOME Shell's top bar
| Website: | http://wiki.gnome.org/Projects/GnomeShell/Extensions |
|---|---|
| License: | GPLv2+ |
| Vendor: | Virtuozzo |
- Description:
This GNOME Shell extension adds favorite launchers to the top bar.
Packages
| gnome-shell-extension-panel-favorites-3.28.1-17.vl7.noarch [21 KiB] |
Changelog
by Florian Müllner (2021-04-15):
- Override lg foreground color Resolves: #1875419 |
| gnome-shell-extension-panel-favorites-3.28.1-16.vl7.noarch [21 KiB] |
Changelog
by Florian Müllner (2021-01-26):
- Fix stuck window picker after screen lock Resolves: #1904371 |
| gnome-shell-extension-panel-favorites-3.28.1-14.vl7.noarch [21 KiB] |
Changelog
by Florian Müllner (2020-06-17):
- Fix workspace switch in window-list outside GNOME Classic Resolves: #1848058 |
| gnome-shell-extension-panel-favorites-3.28.1-12.vl7.noarch [20 KiB] |
Changelog
by Florian Müllner (2020-07-20):
- Fix workspace switch in window-list outside GNOME Classic Resolves: #1858717 |
| gnome-shell-extension-panel-favorites-3.28.1-11.vl7.noarch [20 KiB] |
Changelog
by Jonas Ådahl (2019-12-06):
- A couple of fixes to the classic backports Resolves: #1778270 |
| gnome-shell-extension-panel-favorites-3.28.1-7.vl7.noarch [20 KiB] |
Changelog
by Florian Müllner (2019-03-26):
- Add window-grouper extension Resolves: #1355845 - Add disable-screenshield extension Resolves: #1643501 |