package

gnome-shell-extension-dotspaces

Description

A simple workspace switcher.

Metadata

Version

7

License

GPL-2.0-or-later

Status

Source

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

Homepage

https://extensions.gnome.org/extension/5347/dotspaces/

Maintainers (1)

piegames