PHP-GTK Manual - Set the end of the selection (character position).


Prev	GtkScintilla::set_selection_end	Next

GtkScintilla::set_selection_end

void set_selection_end(int pos);

Set the end of the selection (character position).

$scintilla->set_selection_end(200);

Prev	Home	Next
GtkScintilla::get_selection_start	Up	GtkScintilla::get_selection_end

Networksites:

Buy domain name registration from $3.95

Quotes:

If the grass is greener in the other fellows yard, let him worry about cutting it.

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