2a5eed1eb4
Since commit 0c807bddaf4d, the run dialog no longer handles Escape key presses itself but uses the action key mechanism of modal dialogs. As the latter uses key-release events, our own handling of the Escape key runs on key-press. Fix this by bailing out early if anything has pushed a modal in addition to the overview (like system modals, looking glass, ...). https://bugzilla.gnome.org/show_bug.cgi?id=688196
GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to provide a visually attractive and easy to use experience. For more information about GNOME Shell, including instructions on how to build GNOME Shell from source and how to get involved with the project, see: http://live.gnome.org/GnomeShell Bugs should be reported at http://bugzilla.gnome.org against the 'gnome-shell' product. License ======= GNOME Shell is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.