let main (main_ui:Design.main_window_extension_points) =
  let filetree_selector
      ~was_activated ~activating globals =
    if Value.is_computed () then begin
      if not was_activated && activating then begin match globals with
(* [JS 2009/30/03] GUI may become too slow if froms are displayed *)
(*      | [GFun ({svar=v},_)] ->
          begin try
            let kf = Globals.Functions.get v in
            if !From.is_computed kf then
              let s = fprintf_to_string "@[Functional dependencies:@\n%a@]@." !From.pretty kf in
              main_ui#annot_window#buffer#insert s
          with Not_found -> ()
          end*)

      | _ -> ();
      end;
    end
  in
  main_ui#file_tree#add_select_function filetree_selector