gdkEvents = null;
void putGdkEvents () {	if (gdkEventCount != 0) {		for (int i = 0; i < gdkEventCount; i++) {			if (gdkEventWidgets [i] == null || !gdkEventWidgets [i].isDisposed ()) {				OS.gdk_event_put (gdkEvents [i]);				OS.gdk_event_free (gdkEvents [i]);			}		}		gdkEventCount = 0;		gdkEvents = null;	}}