method set_on_focus_in (f : unit -> unit) = ignore(v#tree_view#event#connect#focus_in (fun _ -> f_set_active_view self; f (); false))