void clear (int clipboards) { if ((clipboards & DND.CLIPBOARD) != 0 && onClipboard) {
void clear (Clipboard owner, int clipboards) { if ((clipboards & DND.CLIPBOARD) != 0 && activeClipboard == owner) {
void clear (int clipboards) {	if ((clipboards & DND.CLIPBOARD) != 0 && onClipboard) {		OS.gtk_clipboard_clear(Clipboard.GTKCLIPBOARD);	}	if ((clipboards & DND.SELECTION_CLIPBOARD) != 0 && onPrimary) {		OS.gtk_clipboard_clear(Clipboard.GTKPRIMARYCLIPBOARD);	}}