method insert_leaf () = let leaf = { leaf = "" } in match C.simple_get ~width: 500 Rep_messages.insert_leaf (self#params_for_leaf leaf) with C.Return_ok -> self#insert_in_selected (Leaf leaf) | _ -> ()