export * from './widget';
/**
 * The command IDs used by the editor plugin.
 */
export declare namespace CommandIDs {
    const lineNumbers: string;
    const lineWrap: string;
    const createConsole: string;
    const runCode: string;
}