diff --git a/client/src/components/Level.tsx b/client/src/components/Level.tsx index bc7a5a9..37525e0 100644 --- a/client/src/components/Level.tsx +++ b/client/src/components/Level.tsx @@ -230,6 +230,7 @@ console.log() model.onDidChangeContent(() => onDidChangeContent(model.getValue())) } editor.setModel(model) + editor.setPosition(model.getFullModelRange().getEndPosition()) const taskGutter = new LeanTaskGutter(infoProvider.client, editor) const abbrevRewriter = new AbbreviationRewriter(new AbbreviationProvider(), model, editor)