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

gnomeExtensions.hide-top-bar 117

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 2024-11-03

Pin this version

$ devbox add gnomeExtensions.hide-top-bar@117

systemsaarch64-linux, x86_64-linux commit4ae2e647537bcdbb82265469442713d066675275

$ nix shell github:NixOS/nixpkgs/4ae2e647537bcdbb82265469442713d066675275#gnomeExtensions.hide-top-bar

Per system

System	Attribute	Commit	Date	Outputs	Flags
`aarch64-linux` Linux · arm64	`gnomeExtensions.hide-top-bar`	4ae2e647537b	2024-11-03	`out` /nix/store/qw5b90qk6v58rkgx328hky0zv3sc7lkm-gnome-shell-extension-hide-top-bar-117
`x86_64-linux` Linux · x86-64	`gnomeExtensions.hide-top-bar`	4ae2e647537b	2024-11-03	`out` /nix/store/z40yd85lfs2f9hp0jspxn1sw99jhhb7p-gnome-shell-extension-hide-top-bar-117

← newer: 118 all 22 releases older: 116 →

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