export * from './widget';
/**
 * The command IDs used by the terminal plugin.
 */
export declare namespace CommandIDs {
    const createNew: string;
    const open: string;
    const refresh: string;
    const increaseFont: string;
    const decreaseFont: string;
    const toggleTheme: string;
}