From 0af043f0da098fde7a2448d242485d7865bc75ef Mon Sep 17 00:00:00 2001 From: Abdelghani Alidra Date: Wed, 24 Apr 2024 16:30:41 +0200 Subject: [PATCH] move green curson to the end of the current command instead of the begin of the line to display logs related to missing tokens at the end of the file --- editors/vscode/src/client.ts | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/editors/vscode/src/client.ts b/editors/vscode/src/client.ts index 7ee27277e..ac56fa2fe 100644 --- a/editors/vscode/src/client.ts +++ b/editors/vscode/src/client.ts @@ -183,8 +183,10 @@ function checkProofUntilCursor(context: ExtensionContext) { //To simplify the code, proof states are always at the beggining of the highlighted line //So must be the cursor position since it is the new proof state - if (cursorPosition.character != 0) - cursorPosition = new Position(cursorPosition.line, 0); + // if (cursorPosition.character != 0) + // cursorPosition = new Position(cursorPosition.line, 0); + + cursorPosition = stepCommand(openEditor.document, cursorPosition, true); context.workspaceState.update('proofState', cursorPosition); //proof state is set to the cursor position