@aiao/code-editor-angular 0.0.25 → 0.0.28

package/types/aiao-code-editor-angular.d.ts

@@ -1,11 +1,9 @@
-import * as _angular_core from '@angular/core';
-import { OnInit, OnDestroy, OnChanges, SimpleChanges } from '@angular/core';
-import { CodeEditorLanguageDescription, CodeEditorTheme, CodeEditorLanguageError } from '@aiao/code-editor';
-export { CodeEditorTheme } from '@aiao/code-editor';
-import { ControlValueAccessor } from '@angular/forms';
-import { Extension, StateEffect } from '@codemirror/state';
-import { EditorView } from '@codemirror/view';
-
+import { CodeEditorLanguageDescription, CodeEditorLanguageError, CodeEditorTheme, CodeEditorTheme as CodeEditorTheme$1 } from "@aiao/code-editor";
+import * as i0 from "@angular/core";
+import { OnChanges, OnDestroy, OnInit, SimpleChanges } from "@angular/core";
+import { ControlValueAccessor } from "@angular/forms";
+import { Extension, StateEffect } from "@codemirror/state";
+import { EditorView } from "@codemirror/view";
 /** CodeMirror 预设配置。 */
 type CodeEditorSetup = 'basic' | 'minimal' | null;
 /**
@@ -23,166 +21,262 @@ type CodeEditorSetup = 'basic' | 'minimal' | null;
  * />
  * ```
  */
-declare class CodeEditor implements OnInit, ControlValueAccessor, OnDestroy, OnChanges {
-    #private;
-    /**
-     * 宿主元素上的 `aria-disabled`。
-     *
-     * @internal
-     * 未禁用时返回 `null` 让 Angular **移除**属性，而不是写 `aria-disabled="false"`；
-     * 理由与 {@link buildCodeEditorContentAttributes} 一致。`protected` 是可见性下限 ——
-     * host 绑定表达式读不到 `#` 私有字段。
-     */
-    protected readonly _ariaDisabled: _angular_core.Signal<"true" | null>;
-    /** 初始化后立即聚焦编辑器。**仅初始化生效**，后续变更被忽略。 @defaultValue false */
-    autoFocus: _angular_core.InputSignalWithTransform<boolean, unknown>;
-    /**
-     * 补充说明元素的 id，写成内部 textbox 的 `aria-describedby`。可动态更新。
-     *
-     * @defaultValue ''（空串按「未设置」处理，不产出属性）
-     * @remarks 属性落在 CodeMirror 的 `.cm-content` 上 —— 承担 `role="textbox"` 的是它，
-     * 不是本组件的宿主元素。三端同名同义。
-     */
-    describedBy: _angular_core.InputSignal<string>;
-    /**
-     * 禁用编辑（只读且不可聚焦）。可动态更新。
-     *
-     * @defaultValue false
-     * @remarks 与表单的 `setDisabledState()` 是**两条独立来源**，任一为真即禁用。
-     * 用 Reactive Forms 时把控件设成 `disabled` 与在模板上写 `[disabled]="true"` 效果一样，
-     * 但只解开其中一条不会恢复可编辑 —— 两条都得放开。
-     */
-    disabled: _angular_core.InputSignalWithTransform<boolean, unknown>;
-    /** 显示空白字符。可动态更新。 @defaultValue false */
-    highlightWhitespace: _angular_core.InputSignalWithTransform<boolean, unknown>;
-    /** 一级缩进使用的字符串。可动态更新。 @defaultValue '  '（两个空格，三端一致） */
-    indentUnit: _angular_core.InputSignal<string>;
-    /** 允许 Tab 键缩进（会牺牲键盘可达性）。可动态更新。 @defaultValue false */
-    indentWithTab: _angular_core.InputSignalWithTransform<boolean, unknown>;
-    /** 语法高亮语言名，取值见 {@link languages}；`'plaintext'` 表示不高亮。可动态更新。 @defaultValue 'sql' */
-    language: _angular_core.InputSignal<string>;
-    /** 可选语言列表。可动态更新。 @defaultValue SUPPORT_LANGUAGES */
-    languages: _angular_core.InputSignal<readonly CodeEditorLanguageDescription[]>;
-    /**
-     * 可访问名称，写成内部 textbox 的 `aria-label`。可动态更新。
-     *
-     * @defaultValue ''（空串按「未设置」处理，不产出属性）
-     * @remarks 落点与 {@link CodeEditor.describedBy} 相同。
-     */
-    label: _angular_core.InputSignal<string>;
-    /**
-     * 承担标签的元素 id，写成内部 textbox 的 `aria-labelledby`。可动态更新。
-     *
-     * @defaultValue ''（空串按「未设置」处理，不产出属性）
-     * @remarks 落点与 {@link CodeEditor.describedBy} 相同。
-     */
-    labelledBy: _angular_core.InputSignal<string>;
-    /** 自动换行。可动态更新。 @defaultValue false */
-    lineWrapping: _angular_core.InputSignalWithTransform<boolean, unknown>;
-    /** 空文档时显示的占位文本。可动态更新。 @defaultValue '' */
-    placeholder: _angular_core.InputSignal<string>;
-    /** 只读（仍可聚焦与选择）。可动态更新。 @defaultValue false */
-    readonly: _angular_core.InputSignalWithTransform<boolean, unknown>;
-    /** CodeMirror 挂载的 DOM 根，用于 Shadow DOM 场景。**仅初始化生效**。 */
-    root: _angular_core.InputSignal<Document | ShadowRoot | undefined>;
-    /** 预设扩展集；`null` 表示不加载任何预设。可动态更新。 @defaultValue 'basic' */
-    setup: _angular_core.InputSignal<CodeEditorSetup>;
-    /** 主题。可动态更新。 @defaultValue 'light' */
-    theme: _angular_core.InputSignal<CodeEditorTheme>;
-    /** 文档内容。作为受控输入使用时由外部驱动；与 `ngModel` 同时使用以 `ngModel` 为准。 @defaultValue '' */
-    value: _angular_core.InputSignal<string>;
-    /** 编辑器获得焦点。 */
-    aoFocus: _angular_core.OutputEmitterRef<void>;
-    /** 文档内容变化（外部写入不触发，见 {@link External}）。 */
-    aoChange: _angular_core.OutputEmitterRef<string>;
-    /** 编辑器失去焦点，同时触发表单 touched。 */
-    aoBlur: _angular_core.OutputEmitterRef<void>;
-    /**
-     * 语言解析或加载失败。
-     *
-     * @remarks
-     * CEA-007：这条路径此前只有一条 `console.error`，宿主完全观测不到 ——
-     * 拿不到错误、没有重试或降级的机会，用户只看到高亮突然消失。
-     * 降级策略不变（清空语言扩展退回纯文本），日志也保留，本事件是**新增的**观测通道。
-     * 与 React 的 `onLanguageError` 属性、Vue 的 `language-error` 事件同载荷。
-     */
-    aoLanguageError: _angular_core.OutputEmitterRef<CodeEditorLanguageError>;
-    /**
-     * 底层 CodeMirror `EditorView`；未初始化或已销毁时为 `null`。
-     *
-     * @remarks 三端命令式面统一为 `view` / `host` / `focus()` / `blur()`（CEA-009）。
-     */
-    get view(): EditorView | null;
-    /**
-     * CodeMirror 挂载所在的宿主元素；未初始化或已销毁时为 `null`。
-     *
-     * @remarks
-     * Angular 的宿主是 `<ao-code-editor>` 元素本身，React / Vue 是组件渲染出的 `div`——
-     * 类型不同但语义一致：「CodeMirror 挂在哪个元素里」。
-     */
-    get host(): HTMLElement | null;
-    /** 把键盘焦点交给编辑器。未初始化时是空操作。 */
-    focus(): void;
-    /** 移开键盘焦点。未初始化时是空操作。 */
-    blur(): void;
-    ngOnInit(): void;
-    ngOnChanges(changes: SimpleChanges): void;
-    ngOnDestroy(): void;
-    /**
-     * `ControlValueAccessor` 的写入入口，由 Angular Forms 调用。
-     *
-     * @param value `null` / `undefined` 规整成空串；`string` 原样写入
-     * @throws TypeError 收到其他类型时立即抛出，错误信息含包名与实际类型
-     *
-     * @remarks
-     * CEA-005：签名此前写成 `string | null`，但 CVA 的契约是 `any` —— Angular
-     * **不做**运行时校验，`FormControl` 里放什么就原样送到这里。类型标注只骗过了编译期。
-     * 于是 `FormControl(42)` 在初始化前进 `#pendingValue`、在 `EditorState.create` 处炸，
-     * 初始化后又在 `computeMinimalDocumentChange` 处炸 —— 同一个错误配置，两个时机两种错，
-     * 且都指不回 `writeValue`。现在两个时机抛同一个错，且直接点名包与类型。
-     */
-    writeValue(value: unknown): void;
-    registerOnChange(fn: (value: string) => void): void;
-    registerOnTouched(fn: () => void): void;
-    /**
-     * 表单侧的禁用开关，由 Angular Forms 调用。
-     *
-     * @remarks 只写 {@link CodeEditor.#formDisabled} 这一条来源；模板上的
-     * `[disabled]` 输入是另一条独立来源，两者取或，见 {@link CodeEditor.#effectiveDisabled}。
-     */
-    setDisabledState(isDisabled: boolean): void;
-    /**
-     * 装入消费者自己的 CodeMirror 扩展。
-     *
-     * @param value 本次要生效的扩展；**整体替换**上一次传入的那批，传 `[]` 即全部撤下
-     *
-     * @remarks
-     * CEA-003：早先这里发的是全局 `StateEffect.reconfigure.of(value)`，
-     * 它替换的是**整棵扩展树** —— 一次调用就清掉 updateListener、全部 Compartment、
-     * 主题、语言与 a11y 属性，名字叫「设置扩展」，实际是「摧毁编辑器配置」。
-     * 现在只重配 {@link CodeEditor.#userExtensionsConf} 这一个专属槽，
-     * 组件自身的配置与消费者的扩展互不影响。
-     */
-    setExtensions(value: Extension[]): void;
-    /**
-     * 命令式地（重新）应用语言配置。
-     *
-     * @param lang 语言名或别名；空串与 `'plaintext'` 表示不高亮
-     *
-     * @remarks
-     * **无条件重新加载**，即使解析结果与当前生效的完全一致 —— 这是宿主换掉了同名描述
-     * 背后的 loader 实现时的显式重载入口，`language` 输入做不到（它走的是
-     * {@link CodeEditor.#syncLanguage} 里的等价性判断，CEA-006，不会重复加载）。
-     * 日常切换语言应当改 `language` 输入。
-     *
-     * 解析失败时清空语言扩展退回纯文本，并经 {@link CodeEditor.aoLanguageError} 报告。
-     */
-    setLanguage(lang: string): void;
-    protected _get_all_extensions(): Extension[];
-    protected _dispatch_effects(effects: StateEffect<unknown> | readonly StateEffect<unknown>[]): void | undefined;
-    static ɵfac: _angular_core.ɵɵFactoryDeclaration<CodeEditor, never>;
-    static ɵcmp: _angular_core.ɵɵComponentDeclaration<CodeEditor, "ao-code-editor", never, { "autoFocus": { "alias": "autoFocus"; "required": false; "isSignal": true; }; "describedBy": { "alias": "describedBy"; "required": false; "isSignal": true; }; "disabled": { "alias": "disabled"; "required": false; "isSignal": true; }; "highlightWhitespace": { "alias": "highlightWhitespace"; "required": false; "isSignal": true; }; "indentUnit": { "alias": "indentUnit"; "required": false; "isSignal": true; }; "indentWithTab": { "alias": "indentWithTab"; "required": false; "isSignal": true; }; "language": { "alias": "language"; "required": false; "isSignal": true; }; "languages": { "alias": "languages"; "required": false; "isSignal": true; }; "label": { "alias": "label"; "required": false; "isSignal": true; }; "labelledBy": { "alias": "labelledBy"; "required": false; "isSignal": true; }; "lineWrapping": { "alias": "lineWrapping"; "required": false; "isSignal": true; }; "placeholder": { "alias": "placeholder"; "required": false; "isSignal": true; }; "readonly": { "alias": "readonly"; "required": false; "isSignal": true; }; "root": { "alias": "root"; "required": false; "isSignal": true; }; "setup": { "alias": "setup"; "required": false; "isSignal": true; }; "theme": { "alias": "theme"; "required": false; "isSignal": true; }; "value": { "alias": "value"; "required": false; "isSignal": true; }; }, { "aoFocus": "aoFocus"; "aoChange": "aoChange"; "aoBlur": "aoBlur"; "aoLanguageError": "aoLanguageError"; }, never, never, true, never>;
+export declare class CodeEditor implements OnInit, ControlValueAccessor, OnDestroy, OnChanges {
+  #private;
+  /**
+   * 宿主元素上的 `aria-disabled`。
+   *
+   * @internal
+   * 未禁用时返回 `null` 让 Angular **移除**属性，而不是写 `aria-disabled="false"`；
+   * 理由与 {@link buildCodeEditorContentAttributes} 一致。`protected` 是可见性下限 ——
+   * host 绑定表达式读不到 `#` 私有字段。
+   */
+  protected readonly _ariaDisabled: import("@angular/core").Signal<"true" | null>;
+  /** 初始化后立即聚焦编辑器。**仅初始化生效**，后续变更被忽略。 @defaultValue false */
+  autoFocus: import("@angular/core").InputSignalWithTransform<boolean, unknown>;
+  /**
+   * 补充说明元素的 id，写成内部 textbox 的 `aria-describedby`。可动态更新。
+   *
+   * @defaultValue ''（空串按「未设置」处理，不产出属性）
+   * @remarks 属性落在 CodeMirror 的 `.cm-content` 上 —— 承担 `role="textbox"` 的是它，
+   * 不是本组件的宿主元素。三端同名同义。
+   */
+  describedBy: import("@angular/core").InputSignal<string>;
+  /**
+   * 禁用编辑（只读且不可聚焦）。可动态更新。
+   *
+   * @defaultValue false
+   * @remarks 与表单的 `setDisabledState()` 是**两条独立来源**，任一为真即禁用。
+   * 用 Reactive Forms 时把控件设成 `disabled` 与在模板上写 `[disabled]="true"` 效果一样，
+   * 但只解开其中一条不会恢复可编辑 —— 两条都得放开。
+   */
+  disabled: import("@angular/core").InputSignalWithTransform<boolean, unknown>;
+  /** 显示空白字符。可动态更新。 @defaultValue false */
+  highlightWhitespace: import("@angular/core").InputSignalWithTransform<boolean, unknown>;
+  /** 一级缩进使用的字符串。可动态更新。 @defaultValue '  '（两个空格，三端一致） */
+  indentUnit: import("@angular/core").InputSignal<string>;
+  /** 允许 Tab 键缩进（会牺牲键盘可达性）。可动态更新。 @defaultValue false */
+  indentWithTab: import("@angular/core").InputSignalWithTransform<boolean, unknown>;
+  /** 语法高亮语言名，取值见 {@link languages}；`'plaintext'` 表示不高亮。可动态更新。 @defaultValue 'sql' */
+  language: import("@angular/core").InputSignal<string>;
+  /** 可选语言列表。可动态更新。 @defaultValue SUPPORT_LANGUAGES */
+  languages: import("@angular/core").InputSignal<readonly CodeEditorLanguageDescription[]>;
+  /**
+   * 可访问名称，写成内部 textbox 的 `aria-label`。可动态更新。
+   *
+   * @defaultValue ''（空串按「未设置」处理，不产出属性）
+   * @remarks 落点与 {@link CodeEditor.describedBy} 相同。
+   */
+  label: import("@angular/core").InputSignal<string>;
+  /**
+   * 承担标签的元素 id，写成内部 textbox 的 `aria-labelledby`。可动态更新。
+   *
+   * @defaultValue ''（空串按「未设置」处理，不产出属性）
+   * @remarks 落点与 {@link CodeEditor.describedBy} 相同。
+   */
+  labelledBy: import("@angular/core").InputSignal<string>;
+  /** 自动换行。可动态更新。 @defaultValue false */
+  lineWrapping: import("@angular/core").InputSignalWithTransform<boolean, unknown>;
+  /** 空文档时显示的占位文本。可动态更新。 @defaultValue '' */
+  placeholder: import("@angular/core").InputSignal<string>;
+  /** 只读（仍可聚焦与选择）。可动态更新。 @defaultValue false */
+  readonly: import("@angular/core").InputSignalWithTransform<boolean, unknown>;
+  /** CodeMirror 挂载的 DOM 根，用于 Shadow DOM 场景。**仅初始化生效**。 */
+  root: import("@angular/core").InputSignal<Document | ShadowRoot | undefined>;
+  /** 预设扩展集；`null` 表示不加载任何预设。可动态更新。 @defaultValue 'basic' */
+  setup: import("@angular/core").InputSignal<CodeEditorSetup>;
+  /** 主题。可动态更新。 @defaultValue 'light' */
+  theme: import("@angular/core").InputSignal<CodeEditorTheme$1>;
+  /**
+   * 文档内容。作为受控输入使用时由外部驱动；与 `ngModel`/`FormControl` 同时使用以表单为准。
+   *
+   * @defaultValue ''
+   * @remarks RV-071：一旦 {@link writeValue} 被调用过（即宿主绑了 `ngModel` 或
+   * `formControl`），表单即接管值所有权，后续本输入的变更不再覆盖文档；
+   * 没有表单指令时仍是单向外部驱动，见 {@link CodeEditor.#formOwnsValue}。
+   */
+  value: import("@angular/core").InputSignal<string>;
+  /** 编辑器获得焦点。 */
+  aoFocus: import("@angular/core").OutputEmitterRef<void>;
+  /** 文档内容变化（外部写入不触发，见 {@link External}）。 */
+  aoChange: import("@angular/core").OutputEmitterRef<string>;
+  /** 编辑器失去焦点，同时触发表单 touched。 */
+  aoBlur: import("@angular/core").OutputEmitterRef<void>;
+  /**
+   * 语言解析或加载失败。
+   *
+   * @remarks
+   * CEA-007：这条路径此前只有一条 `console.error`，宿主完全观测不到 ——
+   * 拿不到错误、没有重试或降级的机会，用户只看到高亮突然消失。
+   * 降级策略不变（清空语言扩展退回纯文本），日志也保留，本事件是**新增的**观测通道。
+   * 与 React 的 `onLanguageError` 属性、Vue 的 `language-error` 事件同载荷。
+   */
+  aoLanguageError: import("@angular/core").OutputEmitterRef<CodeEditorLanguageError>;
+  /**
+   * 底层 CodeMirror `EditorView`；未初始化或已销毁时为 `null`。
+   *
+   * @remarks 三端命令式面统一为 `view` / `host` / `focus()` / `blur()`（CEA-009）。
+   */
+  get view(): EditorView | null;
+  /**
+   * CodeMirror 挂载所在的宿主元素；未初始化或已销毁时为 `null`。
+   *
+   * @remarks
+   * Angular 的宿主是 `<ao-code-editor>` 元素本身，React / Vue 是组件渲染出的 `div`——
+   * 类型不同但语义一致：「CodeMirror 挂在哪个元素里」。
+   */
+  get host(): HTMLElement | null;
+  /** 把键盘焦点交给编辑器。未初始化时是空操作。 */
+  focus(): void;
+  /** 移开键盘焦点。未初始化时是空操作。 */
+  blur(): void;
+  ngOnInit(): void;
+  ngOnChanges(changes: SimpleChanges): void;
+  ngOnDestroy(): void;
+  /**
+   * `ControlValueAccessor` 的写入入口，由 Angular Forms 调用。
+   *
+   * @param value `null` / `undefined` 规整成空串；`string` 原样写入
+   * @throws TypeError 收到其他类型时立即抛出，错误信息含包名与实际类型
+   *
+   * @remarks
+   * CEA-005：签名此前写成 `string | null`，但 CVA 的契约是 `any` —— Angular
+   * **不做**运行时校验，`FormControl` 里放什么就原样送到这里。类型标注只骗过了编译期。
+   * 于是 `FormControl(42)` 在初始化前进 `#pendingValue`、在 `EditorState.create` 处炸，
+   * 初始化后又在 `computeMinimalDocumentChange` 处炸 —— 同一个错误配置，两个时机两种错，
+   * 且都指不回 `writeValue`。现在两个时机抛同一个错，且直接点名包与类型。
+   */
+  writeValue(value: unknown): void;
+  registerOnChange(fn: (value: string) => void): void;
+  registerOnTouched(fn: () => void): void;
+  /**
+   * 表单侧的禁用开关，由 Angular Forms 调用。
+   *
+   * @remarks 只写 {@link CodeEditor.#formDisabled} 这一条来源；模板上的
+   * `[disabled]` 输入是另一条独立来源，两者取或，见 {@link CodeEditor.#effectiveDisabled}。
+   */
+  setDisabledState(isDisabled: boolean): void;
+  /**
+   * 装入消费者自己的 CodeMirror 扩展。
+   *
+   * @param value 本次要生效的扩展；**整体替换**上一次传入的那批，传 `[]` 即全部撤下
+   *
+   * @remarks
+   * CEA-003：早先这里发的是全局 `StateEffect.reconfigure.of(value)`，
+   * 它替换的是**整棵扩展树** —— 一次调用就清掉 updateListener、全部 Compartment、
+   * 主题、语言与 a11y 属性，名字叫「设置扩展」，实际是「摧毁编辑器配置」。
+   * 现在只重配 {@link CodeEditor.#userExtensionsConf} 这一个专属槽，
+   * 组件自身的配置与消费者的扩展互不影响。
+   */
+  setExtensions(value: Extension[]): void;
+  /**
+   * 命令式地（重新）应用语言配置。
+   *
+   * @param lang 语言名或别名；空串与 `'plaintext'` 表示不高亮
+   *
+   * @remarks
+   * **无条件重新加载**，即使解析结果与当前生效的完全一致 —— 这是宿主换掉了同名描述
+   * 背后的 loader 实现时的显式重载入口，`language` 输入做不到（它走的是
+   * {@link CodeEditor.#syncLanguage} 里的等价性判断，CEA-006，不会重复加载）。
+   * 日常切换语言应当改 `language` 输入。
+   *
+   * 解析失败时清空语言扩展退回纯文本，并经 {@link CodeEditor.aoLanguageError} 报告。
+   */
+  setLanguage(lang: string): void;
+  protected _get_all_extensions(): Extension[];
+  protected _dispatch_effects(effects: StateEffect<unknown> | readonly StateEffect<unknown>[]): void | undefined;
+  static ɵfac: i0.ɵɵFactoryDeclaration<CodeEditor, never>;
+  static ɵcmp: i0.ɵɵComponentDeclaration<CodeEditor, "ao-code-editor", never, {
+    "autoFocus": {
+      "alias": "autoFocus";
+      "required": false;
+      "isSignal": true;
+    };
+    "describedBy": {
+      "alias": "describedBy";
+      "required": false;
+      "isSignal": true;
+    };
+    "disabled": {
+      "alias": "disabled";
+      "required": false;
+      "isSignal": true;
+    };
+    "highlightWhitespace": {
+      "alias": "highlightWhitespace";
+      "required": false;
+      "isSignal": true;
+    };
+    "indentUnit": {
+      "alias": "indentUnit";
+      "required": false;
+      "isSignal": true;
+    };
+    "indentWithTab": {
+      "alias": "indentWithTab";
+      "required": false;
+      "isSignal": true;
+    };
+    "language": {
+      "alias": "language";
+      "required": false;
+      "isSignal": true;
+    };
+    "languages": {
+      "alias": "languages";
+      "required": false;
+      "isSignal": true;
+    };
+    "label": {
+      "alias": "label";
+      "required": false;
+      "isSignal": true;
+    };
+    "labelledBy": {
+      "alias": "labelledBy";
+      "required": false;
+      "isSignal": true;
+    };
+    "lineWrapping": {
+      "alias": "lineWrapping";
+      "required": false;
+      "isSignal": true;
+    };
+    "placeholder": {
+      "alias": "placeholder";
+      "required": false;
+      "isSignal": true;
+    };
+    "readonly": {
+      "alias": "readonly";
+      "required": false;
+      "isSignal": true;
+    };
+    "root": {
+      "alias": "root";
+      "required": false;
+      "isSignal": true;
+    };
+    "setup": {
+      "alias": "setup";
+      "required": false;
+      "isSignal": true;
+    };
+    "theme": {
+      "alias": "theme";
+      "required": false;
+      "isSignal": true;
+    };
+    "value": {
+      "alias": "value";
+      "required": false;
+      "isSignal": true;
+    };
+  }, {
+    "aoFocus": "aoFocus";
+    "aoChange": "aoChange";
+    "aoBlur": "aoBlur";
+    "aoLanguageError": "aoLanguageError";
+  }, never, never, true, never>;
 }
-
-export { CodeEditor };
-export type { CodeEditorSetup };
+export type { CodeEditorSetup, CodeEditorTheme };