export const INI_PANEL_ENTRIES = [ { id: "edit-run", title: "Open edit and run panel", href: "./index.html", }, { id: "control-view", title: "Open read-only control view", href: "./control-page.html", }, { id: "workflow-overview", title: "Open shell handoff overview", href: "./workflow-overview.html", }, ]; export function getIniPanelEntryManifest() { return INI_PANEL_ENTRIES.map((entry) => ({ ...entry })); } export function getIniPanelEntryByHref(href) { return INI_PANEL_ENTRIES.find((entry) => entry.href === href) ?? null; }