nixsearch / pkg / gnomeExtensions.hide-top-bar
gnomeExtensions.hide-top-bar
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.
version126
attributegnomeExtensions.hide-top-bar
revf45c6f04c2f013f004bf94e284e95d72898d9393 · one commit for every system
systemsaarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add gnomeExtensions.hide-top-bar@126
$ nix shell github:NixOS/nixpkgs/f45c6f04c2f013f004bf94e284e95d72898d9393#gnomeExtensions.hide-top-bar
JSON: /v2/resolve?name=gnomeExtensions.hide-top-bar&version=latest
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 126resolved | – | ✓ | – | ✓ | gnomeExtensions.hide-top-bar |
02f5696b0e | ||
| 125 | – | ✓ | – | ✓ | gnomeExtensions.hide-top-bar |
c27cdad491 | ||
| 124 | – | ✓ | – | ✓ | gnomeExtensions.hide-top-bar |
389ed85304 | ||
| 123 | – | ✓ | – | ✓ | gnomeExtensions.hide-top-bar |
01fbdeef22 | ||
| 120 | – | ✓ | – | ✓ | gnomeExtensions.hide-top-bar |
01b6809f7f | ||
| 119 | – | ✓ | – | ✓ | gnomeExtensions.hide-top-bar |
1cb1c02a6b | ||
| 118 | – | ✓ | – | ✓ | gnomeExtensions.hide-top-bar |
0d534853a5 | ||
| 117 | – | ✓ | – | ✓ | gnomeExtensions.hide-top-bar |
4ae2e64753 | ||
| 116 | ✓ | ✓ | ✓ | ✓ | gnomeExtensions.hide-top-bar |
varies | ||
| 114 | ✓ | ✓ | ✓ | ✓ | gnomeExtensions.hide-top-bar |
080a4a27f2 | ||
| 112 | ✓ | ✓ | ✓ | ✓ | gnomeExtensions.hide-top-bar |
6afc04d14f | ||
| 111 | ✓ | ✓ | ✓ | ✓ | gnomeExtensions.hide-top-bar |
0a25e2c87e | ||
| 109 | ✓ | ✓ | ✓ | ✓ | gnomeExtensions.hide-top-bar |
80c24eeb9f | ||
| 108 | ✓ | ✓ | ✓ | ✓ | gnomeExtensions.hide-top-bar |
8ba120420f | ||
| 107 | ✓ | ✓ | ✓ | ✓ | gnomeExtensions.hide-top-bar |
1a1bd86756 | ||
| 104 | ✓ | ✓ | ✓ | ✓ | gnomeExtensions.hide-top-bar |
c984213d12 | ||
| 103 | ✓ | ✓ | ✓ | ✓ | gnomeExtensions.hide-top-bar |
4c3c80df54 | ||
| 102 | ✓ | ✓ | ✓ | ✓ | gnomeExtensions.hide-top-bar |
varies | ||
| 100 | ✓ | – | ✓ | ✓ | gnomeExtensions.hide-top-bar |
e722007bf0 | ||
| 99 | ✓ | – | ✓ | ✓ | gnomeExtensions.hide-top-bar |
7fad01d9d5 | ||
| 93 | ✓ | – | ✓ | ✓ | gnomeExtensions.hide-top-bar |
b5182c214f | ||
| 92 | ✓ | – | ✓ | ✓ | gnomeExtensions.hide-top-bar |
varies |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.