Let the upper layers figure out whether the panel should be shown or hidden. GNOME/gtk#1277 GNOME/mutter!432