@openpresentation/opf-editor 0.24.0 → 0.24.1

package/dist/export-menu.js

@@ -0,0 +1,392 @@
+// RR-98: the Export menu. A trigger button ("Download Export v") and a grouped `role="menu"`: Slides (PowerPoint, PDF, SVG slides, PNG images),
+// OPF source (JSON, YAML, Markdown) and For an agent (the handoff dialog). `mode: "sheet"` draws the same menu as the mobile bottom sheet.
+//
+// Slides go through this package's headless `convert` (`export.js`) with the host's fonts, catalogs and render options; PowerPoint lives in
+// @openpresentation/opf-pptx, which the editor does not import, so the host injects `exportPptx(deck, { signal, onProgress })`. The source
+// formats are core's `toYaml` and `toMarkdown` (`@openpresentation/opf/yaml`, `/markdown`, loaded on first use); JSON is the document as
+// "Save OPF" writes it (catalog records embedded). Progress, Cancel (an AbortController), a success or failure line and the converter's
+// notes show in a small panel under the trigger and are announced through an `aria-live` region. Downloads go to a Blob link unless the
+// host takes them with `onDownload`. Plain DOM; styles in src/styles/export-menu.css (classes `opf-export-*`).
+import { createAgentHandoffDialog } from "./agent-handoff-dialog.js";
+import { prepareSave } from "./catalogs.js";
+import { el, icon, saveBlob } from "./export-dom.js";
+import { convert, exportFileName, slidesToConvert } from "./export.js";
+
+const PPTX_TYPE = "application/vnd.openxmlformats-officedocument.presentationml.presentation";
+export const EXPORT_DISABLED_REASON = "Showing the last valid slides. Fix the JSON to resume editing and downloads.";
+const BUSY_REASON = "Another export is running. Cancel it first.";
+const AUTO_HIDE_MS = 4000;
+const MAX_NOTES = 6;
+
+const SLIDE_FORMATS = {
+  pptx: { label: "PowerPoint (.pptx)", icon: "Presentation", meta: () => "editable" },
+  pdf: { label: "PDF", icon: "FileText", meta: () => "all slides" },
+  svg: { label: "SVG slides", icon: "Image", meta: (count) => (count > 1 ? "ZIP" : ".svg") },
+  png: { label: "PNG images", icon: "Images", meta: (count) => (count > 1 ? "ZIP" : ".png") },
+};
+const SOURCE_FORMATS = {
+  json: { label: "JSON", icon: "FileJson", meta: ".opf.json", extension: "opf.json", type: "application/json" },
+  yaml: { label: "YAML", icon: "FileCode", meta: ".opf.yaml", extension: "opf.yaml", type: "application/yaml" },
+  markdown: { label: "Markdown", icon: "FileType", meta: ".opf.md", extension: "opf.md", type: "text/markdown" },
+};
+const GROUP_LABELS = { slides: "Slides", source: "OPF source", agent: "For an agent" };
+let counter = 0;
+
+const plural = (count, one, many = `${one}s`) => `${count} ${count === 1 ? one : many}`;
+const sizeText = (bytes) => (bytes < 1048576 ? `${Math.max(1, Math.round(bytes / 1024))} KB` : `${(bytes / 1048576).toFixed(1)} MB`);
+const isAbort = (error, signal) => Boolean(signal?.aborted) || error?.code === "export-aborted" || error?.name === "AbortError";
+const abortError = () => Object.assign(new Error("The export was cancelled."), { code: "export-aborted", name: "OPFEditorError" });
+// A converter note: core's finding shape (`slide` is zero-based there) or a plain string from the host's exporter.
+const noteText = (note) => (typeof note === "string" ? note : `${Number.isInteger(note.slide) ? `Slide ${note.slide + 1}: ` : note.path ? `${note.path}: ` : ""}${note.message ?? note.ruleId ?? ""}`);
+
+// The promise, or the abort, whichever comes first: a host exporter that ignores the signal still stops being waited for.
+function abortable(promise, signal) {
+  return new Promise((resolve, reject) => {
+    if (signal.aborted) { reject(abortError()); return; }
+    const stop = () => reject(abortError());
+    signal.addEventListener("abort", stop, { once: true });
+    promise.then(
+      (value) => { signal.removeEventListener("abort", stop); resolve(value); },
+      (error) => { signal.removeEventListener("abort", stop); reject(error); },
+    );
+  });
+}
+
+function normalizeItems(items, hasPptx) {
+  const known = (list, table) => list.filter((name) => name in table);
+  const slides = items?.slides === false ? [] : known(items?.slides ?? Object.keys(SLIDE_FORMATS).filter((name) => name !== "pptx" || hasPptx), SLIDE_FORMATS);
+  const source = items?.source === false ? [] : known(items?.source ?? Object.keys(SOURCE_FORMATS), SOURCE_FORMATS);
+  return { slides, source, agent: items?.agent !== false };
+}
+
+/**
+ * Mount the Export menu in `container`. See `export-menu.d.ts` for every option. Returns
+ * `{ element, trigger, refresh, open, close, setDisabled, setMode, cancel, destroy }`.
+ */
+export function createExportMenu(container, options = {}) {
+  const doc = container.ownerDocument ?? document;
+  const id = `opf-export-${++counter}`;
+  const getDeck = options.getDeck;
+  if (typeof getDeck !== "function") throw new TypeError("createExportMenu needs getDeck(): the document to export.");
+  let mode = options.mode === "sheet" ? "sheet" : "menu";
+  let density = options.density === "touch" ? "touch" : "comfortable";
+  let disabledReason = options.disabled === true ? EXPORT_DISABLED_REASON : typeof options.disabled === "string" && options.disabled ? options.disabled : undefined;
+  let items = normalizeItems(options.items, typeof options.exportPptx === "function");
+  let isOpen = false, busy, handoffDialog, destroyed = false;
+  let hideTimer, liveTimer;
+
+  const catalogsNow = () => (typeof options.catalogs === "function" ? options.catalogs() : options.catalogs);
+  const peekDeck = () => { try { return getDeck(); } catch { return undefined; } };
+
+  // ---- the DOM ----------------------------------------------------------------------------------------------------------------------------
+  const trigger = el(doc, "button", { type: "button", class: "opf-export-trigger", "aria-haspopup": "menu", "aria-expanded": "false", "aria-controls": `${id}-menu` },
+    icon(doc, "Download"), el(doc, "span", { class: "opf-export-trigger-label", text: options.label ?? "Export" }), icon(doc, "ChevronDown"));
+  const menu = el(doc, "div", { class: "opf-export-menu", role: "menu", id: `${id}-menu`, "aria-label": "Export formats" });
+  const popover = el(doc, "div", { class: "opf-export-popover", hidden: true }, menu);
+  const scrim = el(doc, "div", { class: "opf-export-scrim", hidden: true });
+  const closeButton = el(doc, "button", { type: "button", class: "opf-export-close", "aria-label": "Close" }, icon(doc, "X", 18));
+  const sheet = el(doc, "div", { class: "opf-export-sheet", role: "dialog", "aria-modal": "true", "aria-label": "Export", hidden: true },
+    el(doc, "div", { class: "opf-export-handle", "aria-hidden": "true" }),
+    el(doc, "div", { class: "opf-export-sheet-head" }, el(doc, "span", { class: "opf-export-sheet-title", text: "Export" }), closeButton));
+  const live = el(doc, "div", { class: "opf-export-live", role: "status", "aria-live": "polite", "aria-atomic": "true" });
+  const statusIcon = el(doc, "span", { class: "opf-export-status-icon" });
+  const statusText = el(doc, "p", { class: "opf-export-status-text" });
+  const statusAction = el(doc, "button", { type: "button", class: "opf-export-status-action" });
+  const statusBar = el(doc, "progress", { class: "opf-export-progress", max: "1", hidden: true, "aria-label": "Export progress" });
+  const statusNotes = el(doc, "ul", { class: "opf-export-notes", "aria-label": "Export notes", hidden: true });
+  const statusPanel = el(doc, "div", { class: "opf-export-status", role: "group", "aria-label": "Export status", hidden: true },
+    el(doc, "div", { class: "opf-export-status-row" }, statusIcon, statusText, statusAction), statusBar, statusNotes);
+  const root = el(doc, "div", { class: "opf-export opf-ui", "data-mode": mode, "data-density": density }, trigger, popover, scrim, sheet, statusPanel, live);
+
+  // ---- the menu ---------------------------------------------------------------------------------------------------------------------------
+  function buildMenu() {
+    const deck = peekDeck();
+    const count = deck ? slidesToConvertSafe(deck) : 0;
+    const groups = [];
+    const row = (kind, format, label, iconName, meta) => el(doc, "button", { type: "button", class: "opf-export-item", role: "menuitem", tabindex: "-1", "data-kind": kind, "data-format": format },
+      icon(doc, iconName), el(doc, "span", { class: "opf-export-item-label", text: label }), el(doc, "span", { class: "opf-export-item-meta", text: meta }));
+    const group = (key, rows) => {
+      const label = el(doc, "div", { class: "opf-export-group-label", id: `${id}-${key}`, text: GROUP_LABELS[key] });
+      return el(doc, "div", { class: "opf-export-group", role: "group", "aria-labelledby": label.id, "data-group": key }, label, ...rows);
+    };
+    if (items.slides.length) groups.push(group("slides", items.slides.map((name) => row("slides", name, SLIDE_FORMATS[name].label, SLIDE_FORMATS[name].icon, SLIDE_FORMATS[name].meta(count)))));
+    if (items.source.length) groups.push(group("source", items.source.map((name) => row("source", name, SOURCE_FORMATS[name].label, SOURCE_FORMATS[name].icon, SOURCE_FORMATS[name].meta))));
+    if (items.agent) groups.push(group("agent", [row("agent", "handoff", "Agent handoff", "Bot", ".md")]));
+    menu.replaceChildren(...groups);
+    syncItems();
+  }
+  const slidesToConvertSafe = (deck) => { try { return slidesToConvert(deck, options.convertOptions).length; } catch { return 0; } };
+  const menuItems = () => [...menu.querySelectorAll(".opf-export-item")];
+  function reasonFor(item) {
+    if (item.dataset.kind === "agent") return undefined;
+    if (busy) return BUSY_REASON;
+    if (item.dataset.kind === "slides") {
+      if (disabledReason) return disabledReason;
+      if (item.dataset.format === "pptx" && typeof options.exportPptx !== "function") return "PowerPoint export is not set up in this editor.";
+    }
+    return undefined;
+  }
+  function syncItems() {
+    for (const item of menuItems()) {
+      const reason = reasonFor(item);
+      if (reason) { item.setAttribute("aria-disabled", "true"); item.title = reason; }
+      else { item.removeAttribute("aria-disabled"); item.removeAttribute("title"); }
+    }
+    if (busy) trigger.setAttribute("aria-busy", "true"); else trigger.removeAttribute("aria-busy");
+    root.toggleAttribute("data-busy", Boolean(busy));
+  }
+
+  // ---- open and close ---------------------------------------------------------------------------------------------------------------------
+  function layout() {
+    const sheeted = mode === "sheet";
+    root.dataset.mode = mode;
+    (sheeted ? sheet : popover).append(menu);
+    popover.hidden = sheeted || !isOpen;
+    sheet.hidden = !sheeted || !isOpen;
+    scrim.hidden = !sheeted || !isOpen;
+    trigger.setAttribute("aria-expanded", String(isOpen));
+    trigger.setAttribute("aria-haspopup", sheeted ? "dialog" : "menu");
+  }
+  function focusItem(which = "first") {
+    const list = menuItems();
+    const enabled = list.filter((item) => item.getAttribute("aria-disabled") !== "true");
+    const pool = enabled.length ? enabled : list;
+    (which === "last" ? pool[pool.length - 1] : pool[0])?.focus();
+  }
+  function onDocumentPointerdown(event) { if (!root.contains(event.target)) close({ restoreFocus: false }); }
+  function onDocumentKeydown(event) {
+    if (event.key === "Escape" && isOpen) { event.preventDefault(); event.stopPropagation(); close(); }
+  }
+  function open(which = "first") {
+    if (destroyed || isOpen) return;
+    buildMenu();
+    if (!busy) hideStatus();
+    isOpen = true;
+    layout();
+    doc.addEventListener("pointerdown", onDocumentPointerdown, true);
+    doc.addEventListener("keydown", onDocumentKeydown, true);
+    focusItem(which);
+  }
+  function close({ restoreFocus = true } = {}) {
+    if (!isOpen) return;
+    isOpen = false;
+    layout();
+    doc.removeEventListener("pointerdown", onDocumentPointerdown, true);
+    doc.removeEventListener("keydown", onDocumentKeydown, true);
+    if (restoreFocus) trigger.focus();
+  }
+  function onMenuKeydown(event) {
+    const list = menuItems();
+    const at = list.indexOf(doc.activeElement);
+    if (event.key === "ArrowDown" || event.key === "ArrowUp") {
+      event.preventDefault();
+      const step = event.key === "ArrowDown" ? 1 : -1;
+      list[(at + step + list.length) % list.length]?.focus();
+    } else if (event.key === "Home") { event.preventDefault(); list[0]?.focus(); }
+    else if (event.key === "End") { event.preventDefault(); list[list.length - 1]?.focus(); }
+    else if (event.key === "Tab") {
+      if (mode === "menu") close({ restoreFocus: false });
+      else {
+        // The sheet is modal: Tab cycles through its items and Close.
+        const stops = [...list, closeButton], here = stops.indexOf(doc.activeElement);
+        event.preventDefault();
+        stops[(here + (event.shiftKey ? -1 : 1) + stops.length) % stops.length].focus();
+      }
+    }
+  }
+
+  // ---- status -----------------------------------------------------------------------------------------------------------------------------
+  function announce(message) {
+    globalThis.clearTimeout(liveTimer);
+    live.textContent = "";
+    liveTimer = globalThis.setTimeout(() => { live.textContent = message; }, 20);
+  }
+  function hideStatus() {
+    globalThis.clearTimeout(hideTimer);
+    statusPanel.hidden = true;
+  }
+  // state: "busy" | "success" | "error" | "cancelled". `progress`: { value, indeterminate }. Notes keep the panel up until dismissed.
+  function showStatus(state, message, { notes = [], progress, announceIt = true } = {}) {
+    globalThis.clearTimeout(hideTimer);
+    statusPanel.dataset.state = state;
+    statusText.textContent = message;
+    statusIcon.replaceChildren(...(state === "success" ? [icon(doc, "Check")] : state === "error" ? [icon(doc, "X")] : []));
+    statusBar.hidden = state !== "busy";
+    if (state === "busy" && progress) { if (progress.indeterminate) statusBar.removeAttribute("value"); else statusBar.value = progress.value; }
+    statusAction.textContent = state === "busy" ? "Cancel" : "Dismiss";
+    statusAction.setAttribute("aria-label", state === "busy" ? "Cancel export" : "Dismiss export status");
+    const shown = notes.slice(0, MAX_NOTES).map((note) => el(doc, "li", { text: noteText(note) }));
+    if (notes.length > MAX_NOTES) shown.push(el(doc, "li", { text: `…and ${notes.length - MAX_NOTES} more` }));
+    statusNotes.replaceChildren(...shown);
+    statusNotes.hidden = !shown.length;
+    statusPanel.hidden = false;
+    if (announceIt) announce(state === "success" && notes.length ? `${message}. ${plural(notes.length, "note")} to review.` : message);
+    if ((state === "success" || state === "cancelled") && !notes.length) hideTimer = globalThis.setTimeout(hideStatus, AUTO_HIDE_MS);
+    options.onStatus?.({ state, message, notes: notes.map(noteText) });
+  }
+
+  // ---- exporting --------------------------------------------------------------------------------------------------------------------------
+  function progressOf(update) {
+    if (!update) return { indeterminate: true };
+    const counted = Number(update.total) > 1 && (update.stage === "convert" || update.stage === "render" || update.stage === undefined);
+    return counted ? { value: Math.min(1, Math.max(0, update.done / update.total)) } : { indeterminate: true };
+  }
+  function reporter(label, signal) {
+    return (update) => {
+      if (destroyed || signal.aborted || busy?.signal !== signal) return;
+      showStatus("busy", update?.message || `Exporting ${label}…`, { progress: progressOf(update), announceIt: false });
+    };
+  }
+  async function exportSlides(deck, format, signal, label) {
+    const progress = reporter(label, signal);
+    if (format === "pptx") {
+      const out = await abortable(Promise.resolve().then(() => options.exportPptx(deck, { signal, onProgress: progress })), signal);
+      const raw = out instanceof Blob || out instanceof ArrayBuffer || ArrayBuffer.isView(out) ? { bytes: out } : out;
+      if (!raw || raw.bytes === undefined) throw new Error("The PowerPoint export returned no data.");
+      const blob = raw.bytes instanceof Blob ? raw.bytes : new Blob([raw.bytes], { type: PPTX_TYPE });
+      if (!blob.size) throw new Error("The PowerPoint export returned no data.");
+      return { blob, fileName: raw.fileName ?? exportFileName(deck, "pptx"), count: deck.slides?.length ?? 0, notes: raw.warnings ?? [] };
+    }
+    const convertOptions = options.convertOptions ?? {};
+    const zip = format !== "pdf" && slidesToConvert(deck, convertOptions).length > 1;
+    const made = await convert(deck, {
+      ...convertOptions, format, ...(zip ? { zip: true } : {}),
+      fonts: options.fonts, catalogs: catalogsNow(), renderOptions: options.renderOptions,
+      signal, onProgress: progress,
+    });
+    const [file] = made.files;
+    return {
+      blob: new Blob([file.bytes], { type: file.type }), fileName: file.name,
+      count: file.slides?.length ?? file.entries?.length ?? 1,
+      // Fonts the file embeds are information; everything else is a note for the author.
+      notes: made.findings.filter((finding) => finding.severity !== "info"),
+    };
+  }
+  async function exportSource(deck, format) {
+    const spec = SOURCE_FORMATS[format];
+    const fileName = exportFileName(deck, spec.extension);
+    let text, notes = [];
+    if (format === "json") {
+      // As "Save OPF" writes it: every catalog record the deck uses is embedded, so the file renders the same where no catalog is registered.
+      const saved = prepareSave(deck, { catalogs: catalogsNow() });
+      text = JSON.stringify(saved.document, null, 2);
+      if (saved.unresolved.length) notes = [`${plural(saved.unresolved.length, "catalog reference")} did not resolve, so no record was embedded for ${saved.unresolved.length === 1 ? "it" : "them"}.`];
+    } else if (format === "yaml") {
+      const { toYaml } = await import("@openpresentation/opf/yaml");
+      text = toYaml(deck).yaml;
+    } else {
+      const { toMarkdown } = await import("@openpresentation/opf/markdown");
+      const made = toMarkdown(deck);
+      text = made.markdown;
+      notes = [...(made.report.embedded ?? []).map((part) => `Written as YAML inside the Markdown, which has no syntax for it: ${part.path || "(document)"}, ${part.reason}`), ...(made.report.loss ?? []).map((loss) => `Left out: ${loss}`)];
+    }
+    return { blob: new Blob([text], { type: spec.type }), fileName, notes };
+  }
+
+  async function run(kind, format) {
+    if (destroyed || busy) return;
+    if (options.beforeExport?.(kind, format) === false) return;
+    const label = kind === "slides" ? SLIDE_FORMATS[format].label : SOURCE_FORMATS[format].label;
+    const controller = new AbortController();
+    const { signal } = controller;
+    busy = { kind, format, signal, controller };
+    syncItems();
+    showStatus("busy", `Exporting ${label}…`, { progress: { indeterminate: true } });
+    try {
+      // This committed snapshot is what is exported, even if the host edits the document meanwhile.
+      const deck = structuredClone(getDeck());
+      const made = kind === "slides" ? await exportSlides(deck, format, signal, label) : await exportSource(deck, format);
+      if (signal.aborted) throw abortError();
+      const download = { blob: made.blob, fileName: made.fileName, format };
+      if (options.onDownload) await options.onDownload(download);
+      else saveBlob(doc, made.blob, made.fileName);
+      if (destroyed) return;
+      const notes = made.notes ?? [];
+      const parts = [made.fileName, ...(made.count !== undefined ? [plural(made.count, "slide")] : []), sizeText(made.blob.size), ...(notes.length ? [`${plural(notes.length, "note")} to review`] : [])];
+      showStatus("success", parts.join(" · "), { notes });
+      options.onExport?.({ ...download, notes: notes.map(noteText) });
+    } catch (error) {
+      if (destroyed) return;
+      if (isAbort(error, signal)) showStatus("cancelled", "Export cancelled.");
+      else showStatus("error", `${label} export failed. ${error?.message ?? error}`);
+    } finally {
+      if (busy?.controller === controller) busy = undefined;
+      if (!destroyed) syncItems();
+    }
+  }
+
+  function handoff() {
+    if (options.beforeExport?.("agent", "handoff") === false) return;
+    const document = getDeck();
+    const target = options.handoffTarget ?? "pptx";
+    if (options.onAgentHandoff) { options.onAgentHandoff({ document, target }); return; }
+    handoffDialog?.destroy();
+    handoffDialog = createAgentHandoffDialog(options.handoffContainer ?? doc.body, {
+      document, target, density, fileName: options.handoffFileName, specUrl: options.specUrl, agentGuideUrl: options.agentGuideUrl,
+      onDownload: options.onDownload ? (download) => options.onDownload(download) : undefined,
+      onClose: () => { handoffDialog = undefined; },
+    });
+  }
+
+  function activate(item) {
+    if (item.getAttribute("aria-disabled") === "true") return;
+    const { kind, format } = item.dataset;
+    close();
+    if (kind === "agent") handoff();
+    else run(kind, format);
+  }
+
+  // ---- wiring -----------------------------------------------------------------------------------------------------------------------------
+  trigger.addEventListener("click", () => (isOpen ? close() : open()));
+  trigger.addEventListener("keydown", (event) => {
+    if (event.key === "ArrowDown" || event.key === "ArrowUp") { event.preventDefault(); if (!isOpen) open(event.key === "ArrowUp" ? "last" : "first"); else focusItem(event.key === "ArrowUp" ? "last" : "first"); }
+  });
+  menu.addEventListener("click", (event) => { const item = event.target.closest?.(".opf-export-item"); if (item && menu.contains(item)) activate(item); });
+  menu.addEventListener("keydown", onMenuKeydown);
+  sheet.addEventListener("keydown", (event) => { if (event.target === closeButton && event.key === "Tab") onMenuKeydown(event); });
+  closeButton.addEventListener("click", () => close());
+  scrim.addEventListener("click", () => close());
+  statusAction.addEventListener("click", () => {
+    if (busy) busy.controller.abort();
+    else { hideStatus(); trigger.focus(); }
+  });
+
+  buildMenu();
+  layout();
+  container.append(root);
+
+  return {
+    element: root,
+    trigger,
+    /** Re-read the document for the menu's hints (ZIP or one file) and the disabled state. */
+    refresh() { buildMenu(); },
+    open,
+    close,
+    /** Disable the slide exports: `true` for the default reason, a string for your own (it is the items' title), `false` to enable. */
+    setDisabled(reason) {
+      disabledReason = reason === true ? EXPORT_DISABLED_REASON : typeof reason === "string" && reason ? reason : undefined;
+      syncItems();
+    },
+    /** Switch between the popover and the bottom sheet (for example at a media query). */
+    setMode(next) {
+      const wanted = next === "sheet" ? "sheet" : "menu";
+      if (wanted === mode) return;
+      if (isOpen) close({ restoreFocus: false });
+      mode = wanted;
+      layout();
+    },
+    setDensity(next) { density = next === "touch" ? "touch" : "comfortable"; root.dataset.density = density; },
+    /** Stop the export that is running, if any. */
+    cancel() { busy?.controller.abort(); },
+    destroy() {
+      if (destroyed) return;
+      busy?.controller.abort();
+      close({ restoreFocus: false });
+      destroyed = true;
+      globalThis.clearTimeout(hideTimer);
+      globalThis.clearTimeout(liveTimer);
+      handoffDialog?.destroy();
+      root.remove();
+    },
+  };
+}

package/dist/json-editor.d.ts

@@ -20,6 +20,9 @@ export interface JsonCodeEditorOptions {
   invalid?: boolean;
   describedBy?: string;
   lineNumbers?: boolean;
+  /** Highlighting and behavior: "json" (default) adds the parse linter, field highlights and the option menu. */
+  language?: "json" | "yaml" | "markdown";
+  readOnly?: boolean;
   catalogs?: JsonCatalogContext;
   /** Overrides the built-in menu, allowing an existing host UI to keep its appearance. */
   onOptions?(left?: number, top?: number): void;
@@ -32,6 +35,10 @@ export interface JsonCodeEditor {
   /** Apply external source without emitting onChange or adding a local undo step. */
   update(code: string, invalid?: boolean, field?: string | null, describedBy?: string): void;
   setCatalogs(catalogs: JsonCatalogContext): void;
+  setLanguage(language: "json" | "yaml" | "markdown"): void;
+  setReadOnly(readOnly: boolean): void;
+  /** The CodeMirror `EditorView`. */
+  readonly view: import("@codemirror/view").EditorView;
   openOptions(left?: number, top?: number): Promise<void>;
   destroy(): void;
 }

package/dist/json-editor.js

@@ -1,8 +1,9 @@
 import { Annotation, Compartment, EditorSelection, EditorState, Prec, StateEffect, StateField, Transaction } from "@codemirror/state";
 import { Decoration, EditorView, drawSelection, keymap, lineNumbers } from "@codemirror/view";
 import { defaultKeymap, history, historyKeymap, indentWithTab, isolateHistory, redo } from "@codemirror/commands";
-import { HighlightStyle, bracketMatching, codeFolding, foldKeymap, indentOnInput, indentUnit, syntaxHighlighting } from "@codemirror/language";
+import { HighlightStyle, StreamLanguage, bracketMatching, codeFolding, foldKeymap, indentOnInput, indentUnit, syntaxHighlighting } from "@codemirror/language";
 import { json, jsonParseLinter } from "@codemirror/lang-json";
+import { yaml } from "@codemirror/lang-yaml";
 import { closeBrackets, closeBracketsKeymap } from "@codemirror/autocomplete";
 import { highlightSelectionMatches, search, searchKeymap } from "@codemirror/search";
 import { linter } from "@codemirror/lint";
@@ -18,8 +19,57 @@ const highlightStyle = HighlightStyle.define([
   { tag: tags.string, class: "tok-str" },
   { tag: [tags.number, tags.bool, tags.null], class: "tok-num" },
   { tag: tags.punctuation, class: "tok-punct" },
-  { tag: tags.bracket, class: "tok-brace" }
+  { tag: tags.bracket, class: "tok-brace" },
+  { tag: tags.comment, class: "tok-comment" },
+  { tag: tags.heading, class: "tok-head" },
+  { tag: [tags.meta, tags.keyword, tags.operator], class: "tok-meta" }
 ]);
+// OPF Markdown: front matter, "---" slide rules, headings, fences, lists and HTML comments. A small stream tokenizer
+// keeps the bundle free of the full Markdown grammar (and of the HTML, CSS and JavaScript grammars it embeds).
+const markdownLanguage = StreamLanguage.define({
+  name: "opf-markdown",
+  startState: () => ({ line: 0, front: 0, fence: null, comment: false }),
+  token(stream, state) {
+    if (state.comment) {
+      if (stream.match(/^.*?-->/)) state.comment = false; else stream.skipToEnd();
+      return "comment";
+    }
+    if (stream.sol()) {
+      state.line++;
+      if (state.fence) {
+        if (stream.match(/^(```|~~~)\s*$/)) { state.fence = null; return "meta"; }
+        stream.skipToEnd();
+        return "string";
+      }
+      if (stream.match(/^---\s*$/)) {
+        if (state.front === 1) state.front = 2; else if (state.line === 1) state.front = 1;
+        return "meta";
+      }
+      if (stream.match(/^(```|~~~)/)) { state.fence = "fence"; stream.skipToEnd(); return "meta"; }
+      if (state.front === 1) {
+        if (stream.match(/^\s*[\w$.-]+(?=:)/)) return "property";
+        stream.next();
+        return null;
+      }
+      if (stream.match(/^#{1,6}\s.*$/)) return "heading";
+      if (stream.match(/^\s*([-*+]|\d+\.)\s/)) return "operator";
+      if (stream.match(/^Notes?:/)) return "keyword";
+      if (stream.match(/^>\s?/)) return "operator";
+    }
+    if (stream.match("<!--")) {
+      if (!stream.match(/^.*?-->/)) { stream.skipToEnd(); state.comment = true; }
+      return "comment";
+    }
+    if (stream.match(/^`[^`]*`/)) return "string";
+    stream.next();
+    return null;
+  }
+});
+function languageExtension(name) {
+  if (name === "yaml") return yaml();
+  if (name === "markdown") return markdownLanguage;
+  return [json(), linter(jsonParseLinter(), { delay: 500 }), fieldDecorations];
+}
 function indentation(source) {
   const spaces = source.match(/^[\t ]+(?=\S)/gm) ?? [];
   return spaces.some((value) => value.includes("	")) ? "	" : " ".repeat(spaces.length ? Math.min(8, ...spaces.map((value) => value.length)) : 2);
@@ -102,12 +152,14 @@ function skipDelimiter(view, delimiter) {
   return true;
 }
 function mountJsonCodeEditor(parent, options) {
-  const attributes = new Compartment(), indent = new Compartment();
+  const attributes = new Compartment(), indent = new Compartment(), language = new Compartment(), editable = new Compartment();
+  const editableExtension = (readOnly) => [EditorState.readOnly.of(Boolean(readOnly)), EditorView.editable.of(!readOnly)];
+  let languageName = options.language ?? "json";
   let disposed=false, menu=null, catalogs=options.catalogs??[], generation=0;
   function closeOptions(){generation++;menu?.destroy();menu=null;}
   async function openOptions(left,top){
     closeOptions();
-    if(disposed)return;
+    if(disposed||languageName!=="json")return;
     if(options.onOptions){options.onOptions(left,top);return;}
     const revision=generation,source=api.getValue(),selection=api.getSelection();
     try{
@@ -127,7 +179,8 @@ function mountJsonCodeEditor(parent, options) {
     autocorrect: "off"
   });
   const view = new EditorView({ parent, state: EditorState.create({ doc: options.code, extensions: [
-    json(),
+    language.of(languageExtension(languageName)),
+    editable.of(editableExtension(options.readOnly)),
     jsonSource.init(()=>options.code),jsonSourceHistory,
     indent.of(indentUnit.of(currentIndent)),
     indentOnInput(),
@@ -138,10 +191,8 @@ function mountJsonCodeEditor(parent, options) {
     codeFolding(),
     search({ top: true }),
     highlightSelectionMatches(),
-    linter(jsonParseLinter(), { delay: 500 }),
     syntaxHighlighting(highlightStyle),
     activeField,
-    fieldDecorations,
     attributes.of(contentAttributes()),
     options.lineNumbers ? lineNumbers() : [],
     EditorView.lineWrapping,
@@ -245,6 +296,15 @@ function mountJsonCodeEditor(parent, options) {
     api,
     openOptions,
     setCatalogs(value){catalogs=value??[];closeOptions();},
+    /** Switch the highlighting between "json" (with its parse linter, field highlights and option menu), "yaml" and "markdown". */
+    setLanguage(name){
+      if(name===languageName)return;
+      languageName=name;closeOptions();
+      view.dispatch({ effects: language.reconfigure(languageExtension(name)) });
+    },
+    setReadOnly(value){view.dispatch({ effects: editable.reconfigure(editableExtension(value)) });},
+    /** The CodeMirror view, for hosts that scroll or measure it. */
+    view,
     update(code, invalid=false, field=null, describedBy) {
       if(code!==api.getValue())closeOptions();
       const current = view.state.doc.toString(), normalized=textInputMap(code).text;

package/dist/json-source.js

@@ -6,7 +6,8 @@ import {textInputMap,preferredLineEnding} from './text-input.js';
 // field, and store only removed newline spellings in its existing undo history.
 export const setJsonSource=StateEffect.define();
 const restoreEndings=StateEffect.define({map:(endings,changes)=>{
-  const mapped=endings.map(({position,ending})=>({position:changes.mapPos(position,1,MapMode.TrackDel),ending})).filter(item=>item.position!==null);
+  // A position past the end of the changed document (the text was deleted, then replaced from outside) cannot be placed: drop it.
+  const mapped=endings.map(({position,ending})=>({position:position<=changes.length?changes.mapPos(position,1,MapMode.TrackDel):null,ending})).filter(item=>item.position!==null);
   return mapped.length?mapped:undefined;
 }});
 export const jsonSource=StateField.define({

package/dist/slide-navigator.d.ts

@@ -0,0 +1,44 @@
+import type { EditorSession } from "./index.js";
+
+export interface SlideNavigatorLabels {
+  /** The accessible name of the control group. Default: "Slide navigation". */
+  navigation?: string;
+  /** Default: "Previous slide". */
+  previous?: string;
+  /** Default: "Next slide". */
+  next?: string;
+  /** The tooltip of the counter, for example "Slide 2 of 3". */
+  position?: (index: number, count: number) => string;
+}
+export interface SlideNavigatorOptions {
+  /** The editor session. The slide count follows it. */
+  editor?: EditorSession;
+  /** Without an editor: an OPF presentation, or a function returning the current one. Call `refresh()` after it changes. */
+  presentation?: { slides?: unknown[] } | (() => { slides?: unknown[] });
+  /** The slide shown first (0-based). Default 0. */
+  slideIndex?: number;
+  /** Called with the new index when the user moves, and when a shrinking deck clamps the index. Not called by `setSlide`. */
+  onChange?: (index: number) => void;
+  /** `"comfortable"` (32px controls, default) or `"touch"` (40px). */
+  density?: "comfortable" | "touch";
+  labels?: SlideNavigatorLabels;
+  /** False to stop following the editor on its own; call `refresh()` yourself. Default true. */
+  autoRefresh?: boolean;
+}
+export interface SlideNavigator {
+  readonly element: HTMLElement;
+  getSlide(): number;
+  /** Show another slide (clamped to the deck) without calling `onChange`. */
+  setSlide(index: number): void;
+  /** Read the slide count again. */
+  refresh(): void;
+  /**
+   * Page-level Left and Right arrows (default target: the document). They ignore typing in inputs, selects and editors, menus, dialogs, modified keys and
+   * events another handler already handled. Returns a function that removes the listener; `destroy()` removes every one.
+   */
+  bindKeys(target?: Document | HTMLElement | Window): () => void;
+  destroy(): void;
+}
+/** The counter text, for example "01 / 03": both numbers are zero-padded to two digits, or to the width of the slide count from 100 slides. */
+export declare function formatSlideCounter(index: number, count: number): string;
+export declare function createSlideNavigator(container: HTMLElement, options?: SlideNavigatorOptions): SlideNavigator;