diff --git a/src/ide/views/editors.ts b/src/ide/views/editors.ts index d5a81d28..949353d5 100644 --- a/src/ide/views/editors.ts +++ b/src/ide/views/editors.ts @@ -76,6 +76,12 @@ export class SourceEditor implements ProjectView { return div; } + setVisible(showing: boolean): void { + if (showing) { + this.editor.focus(); // so that keyboard works when moving between files + } + } + newEditor(parent:HTMLElement, isAsmOverride?:boolean) { var modedef = MODEDEFS[this.mode] || MODEDEFS.default; var isAsm = isAsmOverride || modedef.isAsm; @@ -599,5 +605,5 @@ export class ListingView extends DisassemblerView implements ProjectView { } } } -} +}