gdkEventCount = 0;
void addGdkEvent (int /*long*/ event) {	if (gdkEvents == null) {		gdkEvents = new int /*long*/ [4];		gdkEventWidgets = new Widget [4];	}	if (gdkEventCount == gdkEvents.length) {		int /*long*/ [] newEvents = new int /*long*/ [gdkEventCount + 4];		System.arraycopy (gdkEvents, 0, newEvents, 0, gdkEventCount);		gdkEvents = newEvents;		Widget [] newWidgets = new Widget [gdkEventCount + 4];		System.arraycopy (gdkEventWidgets, 0, newWidgets, 0, gdkEventCount);		gdkEventWidgets = newWidgets;	}	Widget widget = null;	int /*long*/ handle = OS.gtk_get_event_widget (event);	if (handle != 0) {		do {			widget = getWidget (handle);		} while (widget == null && (handle = OS.gtk_widget_get_parent (handle)) != 0);	}	gdkEvents [gdkEventCount] = event;	gdkEventWidgets [gdkEventCount] = widget;	gdkEventCount++;}