fixIM ();
void releaseWidget () {	super.releaseWidget ();	if (OS.GTK_VERSION < OS.VERSION (2, 6, 0)) {		 		/*		* Bug in GTK.  Any text copied into the clipboard will be lost when		* the GtkTextView is destroyed.  The fix is to paste the contents as		* the widget is being destroyed to reference the text buffer, keeping		* it around until ownership of the clipboard is lost.		*/		if ((style & SWT.MULTI) != 0) {			int /*long*/ clipboard = OS.gtk_clipboard_get (OS.GDK_NONE);			OS.gtk_text_buffer_paste_clipboard (bufferHandle, clipboard, null, OS.gtk_text_view_get_editable (handle));		}	}}