43961aaca5
If you left the overview immediately after entering it (either intentionally or due to a bug), the app menu would mistakenly end up hidden due to flaky interaction between its show() and hide() methods. Based on a patch by Dan Winship <danw@gnome.org> https://bugzilla.gnome.org/show_bug.cgi?id=641117