--- /usr/share/python-support/miro/miro/frontends/widgets/playback.py.orig 2009-02-10 20:34:17.000000000 +0100 +++ /usr/share/python-support/miro/miro/frontends/widgets/playback.py 2009-02-10 20:36:52.000000000 +0100 @@ -466,10 +466,16 @@ if len(mods) != 0: return False + # If ESC is pressed in fullscreen mode, go into non-fullscreen mode. if key == menubar.ESCAPE and app.playback_manager.is_fullscreen: app.widgetapp.on_fullscreen_clicked() return True + # If ESC is pressed in non-fullscreen mode, stop video. + if key == menubar.ESCAPE and not app.playback_manager.is_fullscreen: + app.widgetapp.on_stop_clicked() + return True + if key == menubar.RIGHT_ARROW: app.widgetapp.on_skip_forward() return True