Lazy plugs (#596)

* Manifest caching and lazy loading of plug workers * Fixes #546 Plug unloading after time out
2023-12-06 18:44:48 +01:00
parent 8451680c01
commit 8527528af4
16 changed files with 226 additions and 67 deletions
@@ -33,7 +33,7 @@ export function spaceSyscalls(editor: Client): SysCallMapping {
      console.log("Deleting page");
      await editor.space.deletePage(name);
    },
-    "space.listPlugs": (): Promise<string[]> => {
+    "space.listPlugs": (): Promise<FileMeta[]> => {
      return editor.space.listPlugs();
    },
    "space.listAttachments": async (): Promise<AttachmentMeta[]> => {