| private Window_KeyReleaseEvent ( object o, Gtk.KeyReleaseEventArgs args ) : void | ||
| o | object | |
| args | Gtk.KeyReleaseEventArgs | |
| return | void | |
void Window_KeyReleaseEvent(object o, KeyReleaseEventArgs args)
{
Console.WriteLine("Releasing: {0}", args.Event.Key);
CommonGuiInput.KeyRelease(args.Event.Key.ToString());
args.RetVal = true;
}