external select_all : tree_selection -> unit
    = "ml_gtk_tree_selection_select_all"