protected virtual void dispatch_event()
{
evt = display.next_event ();
switch (evt.code ()) {
case gnu.x11.xevent.ButtonPress.CODE:
exit ();
break;
case ClientMessage.CODE:
if (((ClientMessage) evt).delete_window ()) exit ();
break;
case Expose.CODE:
if (((Expose) evt).count () == 0) paint ();
break;
case KeyPress.CODE: {
KeyPress e = (KeyPress) evt;
int keycode = e.detail ();
int keystate = e.state ();
int keysym = display.input.keycode_to_keysym (keycode, keystate);
if (keysym == 'q' || keysym == 'Q'
|| keysym == gnu.x11.keysym.Misc.ESCAPE) exit ();
break;
}
}
}
private void dispatch_event()
{
evt = display.next_event ();
if ((event_mask & EVENT_BIT) != 0 && handle_event (evt)) return;
switch (evt.code ()) {
case ButtonPress.CODE: dispatch_button_press (); break;
case ClientMessage.CODE: dispatch_client_message (); break;
case ConfigureNotify.CODE: dispatch_configure_notify (); break;
case Expose.CODE: dispatch_expose (); break;
case KeyPress.CODE: dispatch_key_press (); break;
case MotionNotify.CODE: dispatch_motion_notify (); break;
}
}
public void when(Event evt)
{
if (print_event) Console.WriteLine (evt);
switch (evt.code ()) {
case ButtonPress.CODE:
when_button_press ((ButtonPress) evt);
break;
case ClientMessage.CODE: // un-avoidable
when_client_message ((ClientMessage) evt);
break;
case ConfigureRequest.CODE: // Event.SUBSTRUCTURE_NOTIFY
when_configure_request ((ConfigureRequest) evt);
break;
case DestroyNotify.CODE: // Event.SUBSTRUCTURE_NOTIFY
when_destroy_notify ((DestroyNotify) evt);
break;
case KeyPress.CODE: // grab key
when_key_press ((KeyPress) evt);
break;
case KeyRelease.CODE: // grab key
when_key_release ((KeyRelease) evt);
break;
case PropertyNotify.CODE: // Event.PROPERTY_CHANGE
when_property_notify ((PropertyNotify) evt);
break;
case MapRequest.CODE: // Event.SUBSTRUCTURE_REDIRECT
when_map_request ((MapRequest) evt);
break;
case MapNotify.CODE: // Event.SUBSTRUCTURE_NOTIFY
when_map_notify ((MapNotify) evt);
break;
case UnmapNotify.CODE: // Event.SUBSTRUCTURE_NOTIFY
when_unmap_notify ((UnmapNotify) evt);
break;
case ConfigureNotify.CODE: // Event.SUBSTRUCTURE_NOTIFY, ignored
case CreateNotify.CODE: // Event.SUBSTRUCTURE_NOTIFY, ignored
case MappingNotify.CODE: // un-avoidable, ignored TODO
break;
default:
alert_user ("Unhandled event: " + evt);
break;
}
}