equal
deleted
inserted
replaced
1820 else: |
1820 else: |
1821 return length_to_check |
1821 return length_to_check |
1822 |
1822 |
1823 def __on_mainwindow_key_press_event(self, widget, event): |
1823 def __on_mainwindow_key_press_event(self, widget, event): |
1824 if self.is_busy_cursor_set(): |
1824 if self.is_busy_cursor_set(): |
|
1825 if event.type == gtk.gdk.KEY_PRESS: |
|
1826 keyname = gtk.gdk.keyval_name(event.keyval) |
|
1827 if keyname == "Escape" and self.api_o.can_be_canceled(): |
|
1828 Thread(target = self.api_o.cancel, |
|
1829 args = ()).start() |
1825 return True |
1830 return True |
1826 else: |
1831 else: |
1827 return False |
1832 return False |
1828 |
1833 |
1829 def __on_mainwindow_delete_event(self, widget, event): |
1834 def __on_mainwindow_delete_event(self, widget, event): |