export * from './browser'; export * from './buttons'; export * from './crumbs'; export * from './listing'; export * from './model'; export * from './tracker'; /** * The command IDs used by the file browser plugin. */ export declare namespace CommandIDs { const save: string; const restoreCheckpoint: string; const saveAs: string; const close: string; const closeAllFiles: string; const open: string; const newTextFile: string; const newNotebook: string; const showBrowser: string; const hideBrowser: string; const toggleBrowser: string; }