Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
GTK
GTK.Editable

Methods
 copy_clipboard()
 cut_clipboard()
 delete_selection()
 delete_text()
 get_chars()
 get_position()
 insert_text()
 paste_clipboard()
 select_region()
 set_editable()
 set_position()
previousGTK.Editable()->insert_text()
GTK.Editable()->select_region()next

Method GTK.Editable()->paste_clipboard()

Method paste_clipboard

GTK.Editable paste_clipboard()

Description

Causes the contents of the clipboard to be pasted into the given widget at the current cursor position.