PHP-GTK Manual - Define if the text area may be edited or not.


Prev	GtkScintilla::set_read_only	Next

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);

Prev	Home	Next
GtkScintilla::replace_sel	Up	GtkScintilla::null

Networksites:

Buy domain name registration from $3.95

Quotes:

Four things to learn in life: To think clearly without hurry or confusion; To love everybody sincerely; To act in everything with the highest motives; To trust God unhesitatingly.

Disclaimer: This documentation is provided only for the benefits of our webhosting customers.
For authoritative source of the documentation, please refer to http://gtk.php.net/docs.php