Interface SpecialPageConfig

Configuration for special pages in the terminal manager tree. Each entry maps a terminal kind to its page ID, display label, and icon.

interface SpecialPageConfig {
    icon: string;
    label: string;
    pageId: `page-${string}`;
}