method set_on_focus_in (f : unit -> unit) =
      ignore(tree#view#event#connect#focus_in (fun _ -> f (); false))