Commit 9f7a238e authored by Sylvain's avatar Sylvain

ide: Do not reload the tree when a parse/type error occur

parent 57c34b95
......@@ -1356,10 +1356,11 @@ end
let l = reload_files d.cont
~shape_version:(Some Termcode.current_shape_version)
reset_and_send_the_whole_tree ();
match l with
| [] ->
(* TODO: try to restore the previous focus : focused_node := old_focus; *)
(* Only reset the tree when there is no errors (for efficiency of ide) *)
reset_and_send_the_whole_tree ();
P.notify (Message (Information "Session refresh successful"))
| l ->
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment