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