/**
 * The command IDs used by the help plugin.
 */
export declare namespace CommandIDs {
    const open: string;
    const activate: string;
    const close: string;
    const show: string;
    const hide: string;
    const toggle: string;
    const launchClassic: string;
}