object(GTK.Editable) GTK.Editable()->set_position(int pos)
Sets the cursor position.
Extracted from Pike v7.3 release 11 at 2001-11-03.