export declare const EDITOR_SLOT_PROVIDER = "EDITOR_SLOT_PROVIDER"; export declare const EDITOR_DEFAULT_HEIGHT = 80; export declare const EditorLayoutDefaultID = "+1"; export declare const RESOURCE_EDITOR_ID = "workbench.editors.resourceEditor"; export declare const TEXT_DIFF_EDITOR_ID = "workbench.editors.textDiffEditor"; export declare const BINARY_DIFF_EDITOR_ID = "workbench.editors.binaryResourceDiffEditor"; export declare const SIDE_BY_SIDE_EDITOR_ID = "workbench.editor.sidebysideEditor"; export declare const PREFERENCE_EDITOR_ID = "workbench.editor.preferenceeditor"; export declare const ClientExtensions: { Editors: string; EditorInputFactories: string; };