data = null; dataTypes = null;
clipboardData = null; clipboardDataTypes = null; primaryClipboardData = null; primaryClipboardDataTypes = null;
private void dispose () {	if (display == null) return;	if (onPrimary) OS.gtk_clipboard_clear(Clipboard.GTKPRIMARYCLIPBOARD);	onPrimary = false;	if (onClipboard) OS.gtk_clipboard_clear(Clipboard.GTKCLIPBOARD);	onClipboard = false;	display = null;	if (getFunc != null ) getFunc.dispose();	getFunc = null;	if (clearFunc != null) clearFunc.dispose();	clearFunc = null;	data = null;	dataTypes = null;}