import { Editor } from "../editor"; import { SysCallMapping } from "../../plugos/system"; import { PageMeta } from "../../common/types"; export default (editor: Editor): SysCallMapping => ({ listPages: async (): Promise => { return [...(await editor.space.listPages())]; }, readPage: async ( ctx, name: string ): Promise<{ text: string; meta: PageMeta }> => { return await editor.space.readPage(name); }, writePage: async (ctx, name: string, text: string): Promise => { return await editor.space.writePage(name, text); }, deletePage: async (ctx, name: string) => { // If we're deleting the current page, navigate to the start page if (editor.currentPage === name) { await editor.navigate("start"); } // Remove page from open pages in editor editor.openPages.delete(name); console.log("Deleting page"); await editor.space.deletePage(name); }, });