bdd65fe755
When changing to an empty workspace we make the AppMenuButton invisible but the user could still get to the menu using keyboard navigation. https://bugzilla.gnome.org/show_bug.cgi?id=643867