GtkList::extend_selection
void extend_selection(GtkScrollType
scroll_type, double
position, bool
auto_start_selection);
WARNING! This method has been deprecated in PHP-GTK 2
and should NOT be used in newly written code.
See also:
end_selection() ,
get_selection,
start_selection() ,
undo_selection() ,
selection