Scroll on new lines

This addition will make sure that the document scrolls properly when inserting a new line. You might want to make it optional and have a setting for it. I am using this by modifying the installed extension code directly, and it works like a charm, but it's not tested properly as I haven't tried compiling the ts files.
cfogelklou · Oct 15, 2020 · ca71e7c · ca71e7c
1 parent d65fb83
commit ca71e7c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/instruction-handlers.ts b/src/instruction-handlers.ts
@@ -66,6 +66,10 @@ const typeTextIntoActiveTextEditor = async (
       editBuilder.insert(editor.selection.active, char!);
       if (char === '\n') {
         pos = new Position(pos.line + 1, pos.character);
+        // scroll to last line
+        const lastLine = editor.document.lineCount - 1;
+        const lastLineRange = editor.document.lineAt(lastLine).range;
+        editor.revealRange(lastLineRange);
       } else {
         pos = new Position(pos.line, pos.character + 1);
       }