Fix focusing children of editors; add focus() to type

src/app/editor.ts

@@ -147,7 +147,7 @@ export class Editor implements Displayable {
                 // lintKeymap,
             ],
         });
-        this.view.dom.addEventListener("focusin", () => this.focus());
+        this.view.dom.addEventListener("focusin", () => this.view.dom.scrollIntoView({ behavior: "smooth", }));
 
         van.derive(() => {
             LanguageDescription.matchFilename(languages, file.filePath.val)

src/app/editorgrid.ts

@@ -11,6 +11,7 @@ export interface Displayable {
     setDeleteFunction(del: () => void): void;
     title(): string;
     close(): void;
+    focus(): void;
     dom: HTMLElement;
 }