object(GTK.Text) GTK.Text()->set_editable(int editablep)
If true, the user can change the text in the widget.
Extracted from Pike v7.3 release 11 at 2001-11-03.