Extracted from Pike v7.6 release 9 at 2004-07-29.
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.