let select_kf tree_view kf =
  let vi = Kernel_function.get_vi kf in
  tree_view#select_global vi