Anchors

2022-08-30 10:44:20 +02:00
parent 0763342f5d
commit 799144a74e
10 changed files with 122 additions and 23 deletions
@@ -46,7 +46,7 @@ export function editorSyscalls(editor: Editor): SysCallMapping {
    "editor.navigate": async (
      ctx,
      name: string,
-      pos: number,
+      pos: number | string,
      replaceState = false
    ) => {
      await editor.navigate(name, pos, replaceState);