fixup navigateToLine

fredsa · fredsa · commit d247dbc18168 · 2026-03-22T13:12:47.000-07:00
diff --git a/src/ide/views/editors.ts b/src/ide/views/editors.ts
@@ -332,6 +332,7 @@ export class SourceEditor implements ProjectView {
         EditorView.scrollIntoView(targetLine.from, { y: "center" }),
       ],
     });
+    this.editor.focus();
   }
 
   getValue(): string {

Original file line number	Diff line number	Diff line change
`@@ -332,6 +332,7 @@ export class SourceEditor implements ProjectView {`
`332`	`332`	`EditorView.scrollIntoView(targetLine.from, { y: "center" }),`
`333`	`333`	`],`
`334`	`334`	`});`
	`335`	`+ this.editor.focus();`
`335`	`336`	`}`
`336`	`337`
`337`	`338`	`getValue(): string {`