{"name":"gnomeExtensions.disable-menu-switching","version":"12","summary":"Disable changing menu on hover another panel button.","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30"},"attr_path":"gnomeExtensions.disable-menu-switching"},"last_updated":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/rchvv5388p1kkzdyy35bzh7sysnzk90n-gnome-shell-extension-disable-menu-switching-12","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"01fbdeef22b76df85ea168fbfe1bfd9e63681b30"},"attr_path":"gnomeExtensions.disable-menu-switching"},"last_updated":"2026-04-23T13:07:47Z","outputs":[{"name":"out","path":"/nix/store/cpihwh5l8gcg6cw1rr2x0nbkqr7fb7av-gnome-shell-extension-disable-menu-switching-12","default":true}]}}}