shellMapCallback.dispose (); shellMapCallback = null; shellMapProc = 0;
void releaseDisplay () {	windowCallback2.dispose ();  windowCallback2 = null;	windowCallback3.dispose ();  windowCallback3 = null;	windowCallback4.dispose ();  windowCallback4 = null;	windowCallback5.dispose ();  windowCallback5 = null;		/* Dispose preedit window */	if (preeditWindow != 0) OS.gtk_widget_destroy (preeditWindow);	imControl = null;		/* Dispose GtkTreeView callbacks */	treeSelectionCallback.dispose (); treeSelectionCallback = null;	treeSelectionProc = 0;	/* Dispose the caret callback */	if (caretId != 0) OS.gtk_timeout_remove (caretId);	caretId = caretProc = 0;	caretCallback.dispose ();	caretCallback = null;		/* Dispose the timer callback */	if (timerIds != null) {		for (int i=0; i<timerIds.length; i++) {			if (timerIds [i] != 0) OS.gtk_timeout_remove (timerIds [i]);		}	}	timerIds = null;	timerList = null;	timerProc = 0;	timerCallback.dispose ();	timerCallback = null;	windowTimerProc = 0;	windowTimerCallback.dispose ();	windowTimerCallback = null;		/* Dispose mouse hover callback */	if (mouseHoverId != 0) OS.gtk_timeout_remove (mouseHoverId);	mouseHoverId = mouseHoverHandle = mouseHoverProc = 0;	mouseHoverCallback.dispose ();	mouseHoverCallback = null;	thread = null;	windowProc2 = windowProc3 = windowProc4 = windowProc5 = 0;		/* Dispose the default font */	if (defaultFont != 0) OS.pango_font_description_free (defaultFont);	defaultFont = 0;		COLOR_WIDGET_DARK_SHADOW = COLOR_WIDGET_NORMAL_SHADOW = COLOR_WIDGET_LIGHT_SHADOW =	COLOR_WIDGET_HIGHLIGHT_SHADOW = COLOR_WIDGET_BACKGROUND = COLOR_WIDGET_BORDER =	COLOR_LIST_FOREGROUND = COLOR_LIST_BACKGROUND = COLOR_LIST_SELECTION = COLOR_LIST_SELECTION_TEXT =	COLOR_INFO_BACKGROUND = null;		/* Dispose the event callback */	OS.gdk_event_handler_set (0, 0, 0);	eventCallback.dispose ();  eventCallback = null;}