external unselect_range : tree_selection -> tree_path -> tree_path -> unit = "ml_gtk_tree_selection_unselect_range"