src/packagemanager.py
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