gnomeExtensions.hide-top-bar 126 single
Hides the top bar, except in overview. However, there is an option to show the panel whenever the mouse pointer approaches the edge of the screen. And if "intellihide" is enabled, the panel only hides when a window takes the space.
- Name
gnome-shell-extension-hide-top-bar-126- Package set
- gnomeExtensions
- Homepage
- https://extensions.gnome.org/extension/545/hide-top-bar/
- License
- GPL-2.0-or-later
- Source
- pkgs/desktops/gnome/extensions/buildGnomeExtension.nix:61
- Derivation
/nix/store/6rpkca25yqgm6pngavx58pnw99c6n3c2-gnome-shell-extension-hide-top-bar-126.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.