external unselect_all : tree_selection -> unit
    = "ml_gtk_tree_selection_unselect_all"