export declare const PREFERENCE_EDITOR_ID = "workbench.editor.preferenceeditor"; export declare const SETTINGS_EDITOR_ID = "workbench.editor.settingseditor"; /** * Text file editor id. */ export declare const TEXT_FILE_EDITOR_ID = "workbench.editors.files.textFileEditor"; /** * File editor input id. */ export declare const FILE_EDITOR_INPUT_ID = "workbench.editors.files.fileEditorInput"; /** * Binary file editor id. */ export declare const BINARY_FILE_EDITOR_ID = "workbench.editors.files.binaryFileEditor"; export declare const KEYBINDING_EDITOR_ID = "workbench.editor.keybindingeditor"; export declare const ClientExtensions: { Editors: string; EditorInputFactories: string; }; export declare const StatusbarExtensions: { Statusbar: string; }; export declare const SETTINGS_EDITOR_2_INPUT = "workbench.input.settings2";