def send_key(widget, name, event):
widget.dispatch_key(name, event)
def send_key(self, widget, name, event):
add_modifiers(event)
widget.dispatch_key(name, event)
def send_key(self, widget, name, event):
widget.dispatch_key(name, event)
def send_key(self, widget, name, event): add_modifiers(event) widget.dispatch_key(name, event)
