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()->copy_clipboard()
GTK.Editable()->delete_selection()next

Method GTK.Editable()->cut_clipboard()

Method cut_clipboard

GTK.Editable cut_clipboard()

Description

Causes the characters in the current selection to be copied to the clipboard and then deleted from the widget.