Adds back "lock" button on mobile

This can be used to toggle between read-only mode, useful for mobile
users that are primarily navigating, not editing

Author: zefhemel

client/boot.ts

@@ -60,6 +60,7 @@ safeRun(async () => {
     config = await loadConfig(
       bootstrapLuaScriptPages.map(extractSpaceLuaFromPageText).join("\n"),
       clientProxy.buildProxy(),
+      !!bootConfig?.readOnly,
     );
   } catch (e: any) {
     alert(
@@ -74,6 +75,7 @@ safeRun(async () => {
           .map(extractSpaceLuaFromPageText)
           .join("\n"),
         clientProxy.buildProxy(),
+        false,
       );
     } catch (e: any) {
       console.error("Boot error", e);

client/boot_config.ts

@@ -15,6 +15,7 @@ import { editorSyscalls } from "./plugos/syscalls/editor.ts";
 import { markdownSyscalls } from "./plugos/syscalls/markdown.ts";
 import { languageSyscalls } from "./plugos/syscalls/language.ts";
 import { jsonschemaSyscalls } from "./plugos/syscalls/jsonschema.ts";
+import { systemSyscalls } from "./plugos/syscalls/system.ts";
 
 /**
  * Parses a page (CONFIG in practice) and extracts all space-lua code
@@ -43,6 +44,7 @@ export function extractSpaceLuaFromPageText(text: string): string {
 export async function loadConfig(
   luaCode: string,
   lateBoundClient: any,
+  readOnly: boolean,
 ): Promise<Config> {
   const config = new Config();
 
@@ -54,6 +56,7 @@ export async function loadConfig(
   // Only expose a limited set of syscalls that we can offer at this point
   bootSystem.registerSyscalls(
     [],
+    systemSyscalls(lateBoundClient, readOnly),
     // Collecting the config.* calls is basically what we're here for
     configSyscalls(config),
     // This offers calls like isMobile() which will be useful, and late binding for e.g. to make actionButtons run() work immediately on boot

libraries/Library/Std/Editor/Read Only Mode.md

@@ -0,0 +1,33 @@
+#meta
+
+Adds commands and an action button (on mobile) for toggling read-only mode.
+
+```space-lua
+function toggleReadOnlyMode()
+  local ro = editor.getUiOption("forcedROMode")
+  ro = not ro
+  editor.setUiOption("forcedROMode", ro)
+  editor.rebuildEditorState()
+  if ro then
+    editor.flashNotification("Read-only mode enabled")
+  else
+    editor.flashNotification("Read-only mode disabled")
+  end
+end
+
+print("System mode", system.getMode())
+
+if system.getMode() == "rw" then
+  command.define {
+    name = "Editor: Toggle Read Only Mode",
+    run = toggleReadOnlyMode
+  }
+
+  actionButton.define {
+    icon = "lock",
+    description = "Toggle read-only mode",
+    mobile = true,
+    run = toggleReadOnlyMode
+  }
+end
+```