Fixes #263: Implement TOC

2023-11-25 13:40:56 +01:00
parent cd27739336
commit 1ac494765f
10 changed files with 190 additions and 6 deletions
@@ -186,6 +186,7 @@ export function editorSyscalls(editor: Client): SysCallMapping {
          ],
        });
      }
+      editor.editorView.focus();
    },
    "editor.setSelection": (_ctx, from: number, to: number) => {
      editor.editorView.dispatch({