gnome-shell-extension-custom-menu - Add a custom menu to the desktop
| Website: | http://wiki.gnome.org/Projects/GnomeShell/Extensions |
|---|---|
| License: | GPLv2+ |
| Vendor: | Virtuozzo |
- Description:
This GNOME Shell extension adds a custom menu to the desktop background.
Packages
| gnome-shell-extension-custom-menu-40.7-15.vl9.noarch [16 KiB] |
Changelog
by Florian Müllner (2024-04-19):
- Fix downstream stylesheets Resolves: RHEL-31885 |