export interface PanelView { readonly x: number; readonly y: number; readonly scale: number; } export interface PanelPoint { readonly x: number; readonly y: number; } export interface PanelExtent { readonly width: number; readonly height: number; } export interface PanelHandle { readonly element: HTMLElement; readonly reset: () => void; readonly view: () => PanelView; } export type PanelMode = "fill" | "fit" | "origin"; export interface PanelReference { readonly element: HTMLElement; readonly id: string; readonly mark: string; readonly tag: string | null; readonly wide: boolean; }