export declare const FILE_EXPLORER_ID = "file-explorer";
export declare const EDITOR_AREA_ID = "editor-area";
export declare const EDITOR_ID = "editor";
export declare const TERMINAL_ID = "terminal";
export declare const SLIDE_ID = "slide";
export declare const EXTERNAL_WEB_VIEWER_ID = "external-web-viewer";
