gnomeExtensions.yet-another-hide-top-panel 10 single
Hides the top panel bar. But keeps it in overview, with hot corners always available
- Name
gnome-shell-extension-yet-another-hide-top-panel-10- Package set
- gnomeExtensions
- Homepage
- https://extensions.gnome.org/extension/9708/yet-another-hide-top-panel/
- License
- GPL-2.0-or-later
- Source
- pkgs/desktops/gnome/extensions/buildGnomeExtension.nix:61
- Derivation
/nix/store/8w20dgsws1p89h25q8pq1q66q824al49-gnome-shell-extension-yet-another-hide-top-panel-10.drv- Repology
- not reported as outdated · look up (as of 2026-10-09T00:52:30Z)
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,076 | team-only outdated | |
| bashNonInteractive 5.3p15 | other input | 102,198 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,086 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.