{"name":"gnomeExtensions.disable-menu-switching","version":"13","summary":"Disable changing menu on hover another panel button.","systems":{"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"gnomeExtensions.disable-menu-switching"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/28fihinvf9d33x09w3dvhjwh4chgj4al-gnome-shell-extension-disable-menu-switching-13","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"55ba7f49ef2962b42cbd126522b7df5f95037679"},"attr_path":"gnomeExtensions.disable-menu-switching"},"last_updated":"2026-10-02T22:55:44Z","outputs":[{"name":"out","path":"/nix/store/aaakb83bkbhc3wm1ra44i3959dv7hyj6-gnome-shell-extension-disable-menu-switching-13","default":true}]}}}