long /*int*/ gtk_event_after(long /*int*/ widget, long /*int*/ gdkEvent) { GdkEvent event = new GdkEvent(); OS.memmove(event, gdkEvent, GdkEvent.sizeof); switch (event.type) { case OS.GDK_BUTTON_PRESS: { GdkEventButton gdkEventButton = new GdkEventButton(); OS.memmove(gdkEventButton, gdkEvent, GdkEventButton.sizeof); if (gdkEventButton.button == 3) { parent.showMenu((int) gdkEventButton.x_root, (int) gdkEventButton.y_root); } break; } } return 0; }