OS.g_signal_connect (shellHandle, OS.map_event, shellMapProc, 0);
void hookEvents () {	super.hookEvents ();	int windowProc3 = display.windowProc3;	OS.g_signal_connect (shellHandle, OS.map_event, windowProc3, MAP_EVENT);	OS.g_signal_connect (shellHandle, OS.unmap_event, windowProc3, UNMAP_EVENT);	OS.g_signal_connect (shellHandle, OS.window_state_event, windowProc3, WINDOW_STATE_EVENT);	OS.g_signal_connect (shellHandle, OS.size_allocate, windowProc3, SIZE_ALLOCATE);	OS.g_signal_connect (shellHandle, OS.configure_event, windowProc3, CONFIGURE_EVENT);	OS.g_signal_connect (shellHandle, OS.delete_event, windowProc3, DELETE_EVENT);	OS.g_signal_connect (shellHandle, OS.event_after, windowProc3, EVENT_AFTER);}