GtkScintilla::set_read_only

void set_read_only(int read_only);

Define if the text area may be edited or not.

// avoiding the user to edit...
$scintilla->set_read_only(1);