Extracted from Pike v7.6 release 112 at 2008-06-24.
pike.ida.liu.se
[Top]
GTK
GTK.Editable

Method GTK.Editable()->copy_clipboard()


Method copy_clipboard

GTK.Editable copy_clipboard()

Description

Causes the characters in the current selection to be copied to the clipboard.