c51acf7c2a
With the application menu now being more than a stub, it has become a much more interesting target, so add a keyboard shortcut to open it directly. This should also ease some of the pain for focus-follows-mouse users. https://bugzilla.gnome.org/show_bug.cgi?id=672909