import { AppCommand } from "./hooks/command.ts"; import { FilterOption, PageMeta } from "../common/types.ts"; export type Notification = { id: number; message: string; type: "info" | "error"; date: Date; }; type EditorMode = "ro" | "rw"; export type PanelMode = number; export type PanelConfig = { mode?: PanelMode; html?: string; script?: string; }; export type AppViewState = { currentPage?: string; editingPageName: boolean; perm: EditorMode; forcedROMode: boolean; isLoading: boolean; showPageNavigator: boolean; showCommandPalette: boolean; unsavedChanges: boolean; panels: { [key: string]: PanelConfig }; allPages: Set; commands: Map; notifications: Notification[]; recentCommands: Map; showFilterBox: boolean; filterBoxLabel: string; filterBoxPlaceHolder: string; filterBoxOptions: FilterOption[]; filterBoxHelpText: string; filterBoxOnSelect: (option: FilterOption | undefined) => void; }; export const initialViewState: AppViewState = { perm: "rw", editingPageName: false, forcedROMode: false, isLoading: false, showPageNavigator: false, showCommandPalette: false, unsavedChanges: false, panels: { lhs: {}, rhs: {}, bhs: {}, modal: {}, }, allPages: new Set(), commands: new Map(), recentCommands: new Map(), notifications: [], showFilterBox: false, filterBoxHelpText: "", filterBoxLabel: "", filterBoxOnSelect: () => {}, filterBoxOptions: [], filterBoxPlaceHolder: "", }; export type Action = | { type: "page-loaded"; meta: PageMeta } | { type: "page-loading"; name: string } | { type: "pages-listed"; pages: Set } | { type: "page-changed" } | { type: "page-saved" } | { type: "start-navigate" } | { type: "stop-navigate" } | { type: "update-commands"; commands: Map; } | { type: "show-palette"; context?: string } | { type: "hide-palette" } | { type: "show-notification"; notification: Notification } | { type: "dismiss-notification"; id: number } | { type: "show-panel"; id: "rhs" | "lhs" | "bhs" | "modal"; config: PanelConfig; } | { type: "hide-panel"; id: string } | { type: "command-run"; command: string } | { type: "show-filterbox"; options: FilterOption[]; placeHolder: string; helpText: string; label: string; onSelect: (option: FilterOption | undefined) => void; } | { type: "hide-filterbox" } | { type: "set-editor-ro"; enabled: boolean };