if (onPrimary) OS.gtk_clipboard_clear(Clipboard.GTKPRIMARYCLIPBOARD); onPrimary = false; if (onClipboard) OS.gtk_clipboard_clear(Clipboard.GTKCLIPBOARD); onClipboard = false;
if (activeClipboard != null) OS.gtk_clipboard_clear(Clipboard.GTKCLIPBOARD); if (activePrimaryClipboard != null) OS.gtk_clipboard_clear(Clipboard.GTKPRIMARYCLIPBOARD);
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;	clipboardData = null;	clipboardDataTypes = null;	primaryClipboardData = null;	primaryClipboardDataTypes = null;}