OS.gtk_editable_paste_clipboard (entryHandle);
if (entryHandle != 0) OS.gtk_editable_paste_clipboard (entryHandle);
public void paste () {	checkWidget ();	OS.gtk_editable_paste_clipboard (entryHandle);}