always scroll to top when switching files

ls1intum · Oct 16, 2023 · 798170e · 798170e
1 parent 8425924
commit 798170e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/...main/webapp/app/exercises/programming/shared/code-editor/ace/code-editor-ace.component.ts b/...main/webapp/app/exercises/programming/shared/code-editor/ace/code-editor-ace.component.ts
@@ -240,6 +240,8 @@ export class CodeEditorAceComponent implements AfterViewInit, OnChanges, OnDestr
             this.editor.setMode(this.editorMode);
             this.editor.getEditor().resize();
             this.editor.getEditor().focus();
+            // always scroll to the top, otherwise inline annotations might be placed incorrectly
+            this.editor.getEditor().getSession().setScrollTop(0);
             // Reset the undo stack after file change, otherwise the user can undo back to the old file
             this.editor.getEditor().getSession().setUndoManager(new UndoManager());
             this.displayAnnotations();