Extracted from Pike v7.4 release 341 at 2005-11-21.
pike.ida.liu.se
[Top]
predef::
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.