GtkScintilla::set_sel

void set_sel(int start, int end);