fix position of green cursor when navigating proofs in the presence o…

…f opening braket
Alidra · Apr 24, 2024 · 9413095 · 9413095
1 parent bd9a2d8
commit 9413095
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/editors/vscode/src/client.ts b/editors/vscode/src/client.ts
@@ -509,7 +509,11 @@ function stepCommand(document: TextDocument, currentPos: Position, forward: bool
     const termRegex = new RegExp(terminators.join("|"), 'gi');
 
     let termPositions = [...document.getText().matchAll(termRegex)]
-        .map(rm => rm.index ? rm.index + rm[0].length : undefined)
+        .map(rm => { 
+            if (rm[0] === ";") {
+                return rm.index ? rm.index + rm[0].length : undefined
+            }
+            else return rm.index ? rm.index : undefined })
         .filter((x): x is number => x !== undefined) // remove undefined
         .map(x => document.positionAt(x));