Class Editor

src/ide.ts:685–1789

  editor?:Editor
}
export class Editor {
  defaults:CodeMirror.EditorConfiguration = {
    scrollPastEnd: true,
    scrollbarStyle: "simple",
    tabSize: 2,
    lineWrapping: true,
    lineNumbers: false,
    extraKeys: ctrlify({
      "Cmd-Enter": () => this.ide.eval(true),
      "Shift-Cmd-Enter": () => this.ide.eval(false),
      "Alt-Enter": () => this.ide.tokenInfo(),
      "Cmd-B": () => this.format({type: "strong"}),
      "Cmd-I": () => this.format({type: "emph"}),
      "Cmd-Y": () => this.format({type: "code"}),
      "Cmd-K": () => this.format({type: "code_block"}),
      "Cmd-1": () => this.format({type: "heading", level: 1}),
      "Cmd-2": () => this.format({type: "heading", level: 2}),
      "Cmd-3": () => this.format({type: "heading", level: 3}),
      "Cmd-L": () => this.format({type: "item"}),
      "Tab": (cm) => {
        if (cm.somethingSelected()) {
          cm.indentSelection("add");
        } else {
          cm.replaceSelection(cm.getOption("indentWithTabs")? "\t":
          Array(cm.getOption("indentUnit") + 1).join(" "), "end", "+input");
        }
      }
    })
  };

  cm:CMEditor;

  /** Whether the editor has changed since the last update. */
  dirty = false;

  /** The current cached Markdown representation of the document. */
  _md:string;

  /** Whether the editor is being externally updated with new content. */
  reloading = false;

  /** Formatting state for the editor at the cursor. */
  formatting:{[formatType:string]: FormatAction} = {};

  /** Whether the editor is currently processing CM change events */
  changing = false;
  /** Cache of the spans affected by the current set of changes */
  changingSpans?:Span[];
  /** Cache of spans currently in a denormalized state. So long as this is non-empty, the editor may not sync with the language service. */
  denormalizedSpans:Span[] = [];

  /** Undo history state */
  history:{position:number, transitioning:boolean, items: HistoryItem[]} = {position: 0, items: [], transitioning: false};

  /** Whether to show the new block button at the cursor. */
  protected showNewBlockBar = false;
  protected newBlockBar:EditorBarElem;