Manual nav fix

Previously we introduced step navigation commands in continuous mode. This broke step navigation in manual mode. This is a fix.
coq · Feb 20, 2024 · c412a49 · c412a49
1 parent 9b5230c
commit c412a49
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/client/src/manualChecking.ts b/client/src/manualChecking.ts
@@ -26,11 +26,11 @@ export const sendInterpretToEnd = (editor: TextEditor,  client: Client) => {
 
 export const sendStepForward = (editor: TextEditor,  client: Client) => {
     const textDocument = makeVersionedDocumentId(editor);
-    client.sendNotification("vscoq/stepForward", {textDocument: textDocument});
+    client.sendNotification("vscoq/stepForward", {textDocument: textDocument, position: null});
 };
 
 export const sendStepBackward = (editor: TextEditor,  client: Client) => {
     const textDocument = makeVersionedDocumentId(editor);
-    client.sendNotification("vscoq/stepBackward", {textDocument: textDocument});
+    client.sendNotification("vscoq/stepBackward", {textDocument: textDocument, position: null});
 };