fixup navigateToLine

fredsa · fredsa · commit 63eeeff929c8 · 2026-03-23T18:30:19.000-07:00
diff --git a/src/ide/views/editors.ts b/src/ide/views/editors.ts
@@ -351,6 +351,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
`@@ -351,6 +351,7 @@ export class SourceEditor implements ProjectView {`
`351`	`351`	`EditorView.scrollIntoView(targetLine.from, { y: "center" }),`
`352`	`352`	`],`
`353`	`353`	`});`
	`354`	`+ this.editor.focus();`
`354`	`355`	`}`
`355`	`356`
`356`	`357`	`getValue(): string {`