Extracted from Pike v7.6 release 93 at 2006-10-04.
pike.ida.liu.se
[Top]
GTK
GTK.Editable

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.