export const PREFERENCE_EDITOR_ID = 'workbench.editor.preferenceeditor';

export const SETTINGS_EDITOR_ID = 'workbench.editor.settingseditor';

/**
 * Text file editor id.
 */
export const TEXT_FILE_EDITOR_ID = 'workbench.editors.files.textFileEditor';

/**
 * File editor input id.
 */
export const FILE_EDITOR_INPUT_ID = 'workbench.editors.files.fileEditorInput';

/**
 * Binary file editor id.
 */
export const BINARY_FILE_EDITOR_ID = 'workbench.editors.files.binaryFileEditor';

export const KEYBINDING_EDITOR_ID = 'workbench.editor.keybindingeditor';

export const ClientExtensions = {
    Editors: 'workbench.contributions.editors',
    EditorInputFactories: 'workbench.contributions.editor.inputFactories',
};

export const StatusbarExtensions = {
    Statusbar: 'workbench.contributions.statusbar',
};


export const SETTINGS_EDITOR_2_INPUT = 'workbench.input.settings2';