gnomeExtensions.workspace-switcher-manager 17 single
Make the workspace switcher popup useful! Customize your workspace switcher behavior and the content, dimensions, position, orientation and colors of its popup indicator.
- Name
gnome-shell-extension-workspace-switcher-manager-17- Package set
- gnomeExtensions
- Homepage
- https://extensions.gnome.org/extension/4788/workspace-switcher-manager/
- License
- GPL-2.0-or-later
- Source
- pkgs/desktops/gnome/extensions/buildGnomeExtension.nix:61
- Derivation
/nix/store/3ww4gkzgyfb87chq2nx3fr1k2dm6v0cr-gnome-shell-extension-workspace-switcher-manager-17.drv- Repology
- not reported as outdated · look up (as of 2026-10-08T00:43:59Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| honnip | Jung seungwoo | GitHub · me@honnip.page · @honnip:matrix.org | listed on package |
Dependencies 3
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| glib 2.88.3 | nativeBuildInputs | 23,070 | team-only outdated | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.