package

gnome-shell-extension-favorites-menu

Description

Provide panel menu for favorites.

Metadata

Version

22

License

GPL-2.0-or-later

Status

Source

pkgs/desktops/gnome/extensions/buildGnomeExtension.nix:54

Homepage

https://extensions.gnome.org/extension/115/favorites-menu/

Maintainers (1)

piegames