From e73076bd9879dbb6aca6b5e5b7aa4cda973b8cc5 Mon Sep 17 00:00:00 2001
From: Romain Tetley <romain.tetley@inria.fr>
Date: Mon, 27 Nov 2023 10:04:58 +0100
Subject: [PATCH] Reset view when switching from continuous to manual.

---
 language-server/vscoqtop/lspManager.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml
index d33365e1..48de7441 100644
--- 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