Reset view when switching from continuous to manual.

coq · Nov 27, 2023 · e73076b · e73076b
1 parent 8753b5a
commit e73076b
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml
@@ -220,7 +220,9 @@ let run_documents () =
 let reset_observe_ids =
   let reset_doc_observe_id path (st : Dm.DocumentManager.state) events =
     let st = Dm.DocumentManager.reset_to_top st in
-    Hashtbl.replace states path st
+    let uri = DocumentUri.of_path path in
+    Hashtbl.replace states path st;
+    update_view uri st
   in
   Hashtbl.fold reset_doc_observe_id states