nixsearch
nixsearch / pkg / gnomeExtensions.hide-top-bar / 120

gnomeExtensions.hide-top-bar 120

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.
Linux last changed

Pin this version

$ devbox add gnomeExtensions.hide-top-bar@120
systemsaarch64-linux, x86_64-linux commit01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09 
$ nix shell github:NixOS/nixpkgs/01b6809f7f9d1183a2b3e081f0a1e6f8f415cb09#gnomeExtensions.hide-top-bar

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-linux
Linux · arm64		 gnomeExtensions.hide-top-bar 01b6809f7f9d
out
/nix/store/bb54v4m5abi5dh2pv9yarj2i6h9fy38i-gnome-shell-extension-hide-top-bar-120
x86_64-linux
Linux · x86-64		 gnomeExtensions.hide-top-bar 01b6809f7f9d
out
/nix/store/wd1fkd179rcbv72ga748qdjv499r6d5p-gnome-shell-extension-hide-top-bar-120
← newer: 123 all 22 releases older: 119 →

JSON: /v2/pkg?name=gnomeExtensions.hide-top-bar · /v2/resolve?name=gnomeExtensions.hide-top-bar&version=120