| ... | ... |
@@ -1589,6 +1589,9 @@ class DotWidget(gtk.DrawingArea): |
| 1589 | 1589 |
if event.keyval == gtk.keysyms.r: |
| 1590 | 1590 |
self.reload() |
| 1591 | 1591 |
return True |
| 1592 |
+ if event.keyval == gtk.keysyms.q: |
|
| 1593 |
+ gtk.main_quit() |
|
| 1594 |
+ return True |
|
| 1592 | 1595 |
return False |
| 1593 | 1596 |
|
| 1594 | 1597 |
def get_drag_action(self, event): |