changeset 1629 | 7f7aaecddf28 |
parent 1625 | 061a695c091d |
child 1642 | c6e464b99a0f |
--- a/src/packagemanager.py Thu Jan 07 14:12:32 2010 -0800 +++ b/src/packagemanager.py Fri Jan 08 10:06:23 2010 +0000 @@ -1822,6 +1822,11 @@ def __on_mainwindow_key_press_event(self, widget, event): if self.is_busy_cursor_set(): + if event.type == gtk.gdk.KEY_PRESS: + keyname = gtk.gdk.keyval_name(event.keyval) + if keyname == "Escape" and self.api_o.can_be_canceled(): + Thread(target = self.api_o.cancel, + args = ()).start() return True else: return False