7
7
def __init__(self, parent=None):
8
8
gtk.Window.__init__(self, gtk.WINDOW_TOPLEVEL)
11
11
self.connect('key-press-event', self._on_key_press)
13
13
def _on_key_press(self, widget, event):
14
14
keyname = gtk.gdk.keyval_name(event.keyval)
15
15
if event.state & gtk.gdk.CONTROL_MASK: