@onereach/ui-components 4.2.0-beta.2549.0 → 4.2.0

package/dist/bundled/v2/components/OrCode/OrCode.js

@@ -1,10 +1,9 @@
-import { E as EditorView, a as EditorState, k as keymap } from '../../index-f5487f12.js';
-import { b as basicSetup, i as indentWithTab } from '../../index-16aee5bc.js';
+import { E as EditorView, F as Facet, c as combineConfig, S as StateField, a as EditorSelection, T as Transaction, C as ChangeSet, b as ChangeDesc, I as IndentContext, g as getIndentation, i as indentString, d as Text, e as indentUnit, f as countColumn, h as getIndentUnit, A as Annotation, j as StateEffect, m as matchBrackets, s as syntaxTree, N as NodeProp, D as Direction, k as findClusterBreak, V as ViewPlugin, l as Decoration, n as codePointAt, o as codePointSize, p as getPanel, q as CharCategory, P as Prec, r as fromCodePoint, t as showPanel, R as RangeSetBuilder, u as EditorState, v as runScopeHandlers, w as hoverTooltip, W as WidgetType, x as logException, y as lineNumbers, z as highlightActiveLineGutter, B as highlightSpecialChars, G as foldGutter, H as drawSelection, J as dropCursor, K as indentOnInput, L as syntaxHighlighting, M as defaultHighlightStyle, O as bracketMatching, Q as rectangularSelection, U as crosshairCursor, X as highlightActiveLine, Y as keymap, Z as foldKeymap } from '../../index-6976c52a.js';
+import { c as closeBrackets, a as autocompletion, b as closeBracketsKeymap, d as completionKeymap, l as languages } from '../../lang-02d2bb2d.js';
 import { useElementHover } from '@vueuse/core';
 import { defineComponent, ref } from 'vue-demi';
 import __vue_component__$3 from '../OrTeleport/OrTeleport.js';
 import { OrCodeLanguages } from './constants.js';
-import languages from './lang.js';
 import theme from './theme.js';
 import __vue_component__$1 from '../OrIconButtonV2/OrIconButton.js';
 import __vue_component__$2 from '../OrModal/OrModal.js';
@@ -13,8 +12,6 @@ import __vue_component__$5 from '../OrHint/OrHint.js';
 import __vue_component__$6 from '../OrLabel/OrLabel.js';
 import { s as styleInject } from '../../style-inject.es-4c6f2515.js';
 import { n as normalizeComponent } from '../../normalize-component-6e8e3d80.js';
-import '../../index.es-3f39f316.js';
-import '../../index-70ca38c5.js';
 import 'portal-vue/dist/portal-vue.esm.js';
 import '../OrTeleport/constants.js';
 import '../OrTooltip/OrTooltip.js';
@@ -31,9 +28,3733 @@ import '../../utils/functions/px-to-rem.js';
 import '../OrLoader/OrLoader.js';
 import '../OrLoader/constants.js';
 import '../OrModal/constants.js';
-import '../../useFocusTrap-9567b3c8.js';
 import '../OrOverlay/OrOverlay.js';
 
+/**
+Comment or uncomment the current selection. Will use line comments
+if available, otherwise falling back to block comments.
+*/
+const toggleComment = target => {
+  let {
+      state
+    } = target,
+    line = state.doc.lineAt(state.selection.main.head),
+    config = getConfig(target.state, line.from);
+  return config.line ? toggleLineComment(target) : config.block ? toggleBlockCommentByLine(target) : false;
+};
+function command(f, option) {
+  return ({
+    state,
+    dispatch
+  }) => {
+    if (state.readOnly) return false;
+    let tr = f(option, state);
+    if (!tr) return false;
+    dispatch(state.update(tr));
+    return true;
+  };
+}
+/**
+Comment or uncomment the current selection using line comments.
+The line comment syntax is taken from the
+[`commentTokens`](https://codemirror.net/6/docs/ref/#commands.CommentTokens) [language
+data](https://codemirror.net/6/docs/ref/#state.EditorState.languageDataAt).
+*/
+const toggleLineComment = /*@__PURE__*/command(changeLineComment, 0 /* CommentOption.Toggle */);
+/**
+Comment or uncomment the current selection using block comments.
+The block comment syntax is taken from the
+[`commentTokens`](https://codemirror.net/6/docs/ref/#commands.CommentTokens) [language
+data](https://codemirror.net/6/docs/ref/#state.EditorState.languageDataAt).
+*/
+const toggleBlockComment = /*@__PURE__*/command(changeBlockComment, 0 /* CommentOption.Toggle */);
+/**
+Comment or uncomment the lines around the current selection using
+block comments.
+*/
+const toggleBlockCommentByLine = /*@__PURE__*/command((o, s) => changeBlockComment(o, s, selectedLineRanges(s)), 0 /* CommentOption.Toggle */);
+function getConfig(state, pos) {
+  let data = state.languageDataAt("commentTokens", pos);
+  return data.length ? data[0] : {};
+}
+const SearchMargin = 50;
+/**
+Determines if the given range is block-commented in the given
+state.
+*/
+function findBlockComment(state, {
+  open,
+  close
+}, from, to) {
+  let textBefore = state.sliceDoc(from - SearchMargin, from);
+  let textAfter = state.sliceDoc(to, to + SearchMargin);
+  let spaceBefore = /\s*$/.exec(textBefore)[0].length,
+    spaceAfter = /^\s*/.exec(textAfter)[0].length;
+  let beforeOff = textBefore.length - spaceBefore;
+  if (textBefore.slice(beforeOff - open.length, beforeOff) == open && textAfter.slice(spaceAfter, spaceAfter + close.length) == close) {
+    return {
+      open: {
+        pos: from - spaceBefore,
+        margin: spaceBefore && 1
+      },
+      close: {
+        pos: to + spaceAfter,
+        margin: spaceAfter && 1
+      }
+    };
+  }
+  let startText, endText;
+  if (to - from <= 2 * SearchMargin) {
+    startText = endText = state.sliceDoc(from, to);
+  } else {
+    startText = state.sliceDoc(from, from + SearchMargin);
+    endText = state.sliceDoc(to - SearchMargin, to);
+  }
+  let startSpace = /^\s*/.exec(startText)[0].length,
+    endSpace = /\s*$/.exec(endText)[0].length;
+  let endOff = endText.length - endSpace - close.length;
+  if (startText.slice(startSpace, startSpace + open.length) == open && endText.slice(endOff, endOff + close.length) == close) {
+    return {
+      open: {
+        pos: from + startSpace + open.length,
+        margin: /\s/.test(startText.charAt(startSpace + open.length)) ? 1 : 0
+      },
+      close: {
+        pos: to - endSpace - close.length,
+        margin: /\s/.test(endText.charAt(endOff - 1)) ? 1 : 0
+      }
+    };
+  }
+  return null;
+}
+function selectedLineRanges(state) {
+  let ranges = [];
+  for (let r of state.selection.ranges) {
+    let fromLine = state.doc.lineAt(r.from);
+    let toLine = r.to <= fromLine.to ? fromLine : state.doc.lineAt(r.to);
+    let last = ranges.length - 1;
+    if (last >= 0 && ranges[last].to > fromLine.from) ranges[last].to = toLine.to;else ranges.push({
+      from: fromLine.from,
+      to: toLine.to
+    });
+  }
+  return ranges;
+}
+// Performs toggle, comment and uncomment of block comments in
+// languages that support them.
+function changeBlockComment(option, state, ranges = state.selection.ranges) {
+  let tokens = ranges.map(r => getConfig(state, r.from).block);
+  if (!tokens.every(c => c)) return null;
+  let comments = ranges.map((r, i) => findBlockComment(state, tokens[i], r.from, r.to));
+  if (option != 2 /* CommentOption.Uncomment */ && !comments.every(c => c)) {
+    return {
+      changes: state.changes(ranges.map((range, i) => {
+        if (comments[i]) return [];
+        return [{
+          from: range.from,
+          insert: tokens[i].open + " "
+        }, {
+          from: range.to,
+          insert: " " + tokens[i].close
+        }];
+      }))
+    };
+  } else if (option != 1 /* CommentOption.Comment */ && comments.some(c => c)) {
+    let changes = [];
+    for (let i = 0, comment; i < comments.length; i++) if (comment = comments[i]) {
+      let token = tokens[i],
+        {
+          open,
+          close
+        } = comment;
+      changes.push({
+        from: open.pos - token.open.length,
+        to: open.pos + open.margin
+      }, {
+        from: close.pos - close.margin,
+        to: close.pos + token.close.length
+      });
+    }
+    return {
+      changes
+    };
+  }
+  return null;
+}
+// Performs toggle, comment and uncomment of line comments.
+function changeLineComment(option, state, ranges = state.selection.ranges) {
+  let lines = [];
+  let prevLine = -1;
+  for (let {
+    from,
+    to
+  } of ranges) {
+    let startI = lines.length,
+      minIndent = 1e9;
+    for (let pos = from; pos <= to;) {
+      let line = state.doc.lineAt(pos);
+      if (line.from > prevLine && (from == to || to > line.from)) {
+        prevLine = line.from;
+        let token = getConfig(state, line.from).line;
+        if (!token) continue;
+        let indent = /^\s*/.exec(line.text)[0].length;
+        let empty = indent == line.length;
+        let comment = line.text.slice(indent, indent + token.length) == token ? indent : -1;
+        if (indent < line.text.length && indent < minIndent) minIndent = indent;
+        lines.push({
+          line,
+          comment,
+          token,
+          indent,
+          empty,
+          single: false
+        });
+      }
+      pos = line.to + 1;
+    }
+    if (minIndent < 1e9) for (let i = startI; i < lines.length; i++) if (lines[i].indent < lines[i].line.text.length) lines[i].indent = minIndent;
+    if (lines.length == startI + 1) lines[startI].single = true;
+  }
+  if (option != 2 /* CommentOption.Uncomment */ && lines.some(l => l.comment < 0 && (!l.empty || l.single))) {
+    let changes = [];
+    for (let {
+      line,
+      token,
+      indent,
+      empty,
+      single
+    } of lines) if (single || !empty) changes.push({
+      from: line.from + indent,
+      insert: token + " "
+    });
+    let changeSet = state.changes(changes);
+    return {
+      changes: changeSet,
+      selection: state.selection.map(changeSet, 1)
+    };
+  } else if (option != 1 /* CommentOption.Comment */ && lines.some(l => l.comment >= 0)) {
+    let changes = [];
+    for (let {
+      line,
+      comment,
+      token
+    } of lines) if (comment >= 0) {
+      let from = line.from + comment,
+        to = from + token.length;
+      if (line.text[to - line.from] == " ") to++;
+      changes.push({
+        from,
+        to
+      });
+    }
+    return {
+      changes
+    };
+  }
+  return null;
+}
+const fromHistory = /*@__PURE__*/Annotation.define();
+/**
+Transaction annotation that will prevent that transaction from
+being combined with other transactions in the undo history. Given
+`"before"`, it'll prevent merging with previous transactions. With
+`"after"`, subsequent transactions won't be combined with this
+one. With `"full"`, the transaction is isolated on both sides.
+*/
+const isolateHistory = /*@__PURE__*/Annotation.define();
+/**
+This facet provides a way to register functions that, given a
+transaction, provide a set of effects that the history should
+store when inverting the transaction. This can be used to
+integrate some kinds of effects in the history, so that they can
+be undone (and redone again).
+*/
+const invertedEffects = /*@__PURE__*/Facet.define();
+const historyConfig = /*@__PURE__*/Facet.define({
+  combine(configs) {
+    return combineConfig(configs, {
+      minDepth: 100,
+      newGroupDelay: 500,
+      joinToEvent: (_t, isAdjacent) => isAdjacent
+    }, {
+      minDepth: Math.max,
+      newGroupDelay: Math.min,
+      joinToEvent: (a, b) => (tr, adj) => a(tr, adj) || b(tr, adj)
+    });
+  }
+});
+function changeEnd(changes) {
+  let end = 0;
+  changes.iterChangedRanges((_, to) => end = to);
+  return end;
+}
+const historyField_ = /*@__PURE__*/StateField.define({
+  create() {
+    return HistoryState.empty;
+  },
+  update(state, tr) {
+    let config = tr.state.facet(historyConfig);
+    let fromHist = tr.annotation(fromHistory);
+    if (fromHist) {
+      let selection = tr.docChanged ? EditorSelection.single(changeEnd(tr.changes)) : undefined;
+      let item = HistEvent.fromTransaction(tr, selection),
+        from = fromHist.side;
+      let other = from == 0 /* BranchName.Done */ ? state.undone : state.done;
+      if (item) other = updateBranch(other, other.length, config.minDepth, item);else other = addSelection(other, tr.startState.selection);
+      return new HistoryState(from == 0 /* BranchName.Done */ ? fromHist.rest : other, from == 0 /* BranchName.Done */ ? other : fromHist.rest);
+    }
+    let isolate = tr.annotation(isolateHistory);
+    if (isolate == "full" || isolate == "before") state = state.isolate();
+    if (tr.annotation(Transaction.addToHistory) === false) return !tr.changes.empty ? state.addMapping(tr.changes.desc) : state;
+    let event = HistEvent.fromTransaction(tr);
+    let time = tr.annotation(Transaction.time),
+      userEvent = tr.annotation(Transaction.userEvent);
+    if (event) state = state.addChanges(event, time, userEvent, config, tr);else if (tr.selection) state = state.addSelection(tr.startState.selection, time, userEvent, config.newGroupDelay);
+    if (isolate == "full" || isolate == "after") state = state.isolate();
+    return state;
+  },
+  toJSON(value) {
+    return {
+      done: value.done.map(e => e.toJSON()),
+      undone: value.undone.map(e => e.toJSON())
+    };
+  },
+  fromJSON(json) {
+    return new HistoryState(json.done.map(HistEvent.fromJSON), json.undone.map(HistEvent.fromJSON));
+  }
+});
+/**
+Create a history extension with the given configuration.
+*/
+function history(config = {}) {
+  return [historyField_, historyConfig.of(config), EditorView.domEventHandlers({
+    beforeinput(e, view) {
+      let command = e.inputType == "historyUndo" ? undo : e.inputType == "historyRedo" ? redo : null;
+      if (!command) return false;
+      e.preventDefault();
+      return command(view);
+    }
+  })];
+}
+function cmd(side, selection) {
+  return function ({
+    state,
+    dispatch
+  }) {
+    if (!selection && state.readOnly) return false;
+    let historyState = state.field(historyField_, false);
+    if (!historyState) return false;
+    let tr = historyState.pop(side, state, selection);
+    if (!tr) return false;
+    dispatch(tr);
+    return true;
+  };
+}
+/**
+Undo a single group of history events. Returns false if no group
+was available.
+*/
+const undo = /*@__PURE__*/cmd(0 /* BranchName.Done */, false);
+/**
+Redo a group of history events. Returns false if no group was
+available.
+*/
+const redo = /*@__PURE__*/cmd(1 /* BranchName.Undone */, false);
+/**
+Undo a change or selection change.
+*/
+const undoSelection = /*@__PURE__*/cmd(0 /* BranchName.Done */, true);
+/**
+Redo a change or selection change.
+*/
+const redoSelection = /*@__PURE__*/cmd(1 /* BranchName.Undone */, true);
+// History events store groups of changes or effects that need to be
+// undone/redone together.
+class HistEvent {
+  constructor(
+  // The changes in this event. Normal events hold at least one
+  // change or effect. But it may be necessary to store selection
+  // events before the first change, in which case a special type of
+  // instance is created which doesn't hold any changes, with
+  // changes == startSelection == undefined
+  changes,
+  // The effects associated with this event
+  effects,
+  // Accumulated mapping (from addToHistory==false) that should be
+  // applied to events below this one.
+  mapped,
+  // The selection before this event
+  startSelection,
+  // Stores selection changes after this event, to be used for
+  // selection undo/redo.
+  selectionsAfter) {
+    this.changes = changes;
+    this.effects = effects;
+    this.mapped = mapped;
+    this.startSelection = startSelection;
+    this.selectionsAfter = selectionsAfter;
+  }
+  setSelAfter(after) {
+    return new HistEvent(this.changes, this.effects, this.mapped, this.startSelection, after);
+  }
+  toJSON() {
+    var _a, _b, _c;
+    return {
+      changes: (_a = this.changes) === null || _a === void 0 ? void 0 : _a.toJSON(),
+      mapped: (_b = this.mapped) === null || _b === void 0 ? void 0 : _b.toJSON(),
+      startSelection: (_c = this.startSelection) === null || _c === void 0 ? void 0 : _c.toJSON(),
+      selectionsAfter: this.selectionsAfter.map(s => s.toJSON())
+    };
+  }
+  static fromJSON(json) {
+    return new HistEvent(json.changes && ChangeSet.fromJSON(json.changes), [], json.mapped && ChangeDesc.fromJSON(json.mapped), json.startSelection && EditorSelection.fromJSON(json.startSelection), json.selectionsAfter.map(EditorSelection.fromJSON));
+  }
+  // This does not check `addToHistory` and such, it assumes the
+  // transaction needs to be converted to an item. Returns null when
+  // there are no changes or effects in the transaction.
+  static fromTransaction(tr, selection) {
+    let effects = none;
+    for (let invert of tr.startState.facet(invertedEffects)) {
+      let result = invert(tr);
+      if (result.length) effects = effects.concat(result);
+    }
+    if (!effects.length && tr.changes.empty) return null;
+    return new HistEvent(tr.changes.invert(tr.startState.doc), effects, undefined, selection || tr.startState.selection, none);
+  }
+  static selection(selections) {
+    return new HistEvent(undefined, none, undefined, undefined, selections);
+  }
+}
+function updateBranch(branch, to, maxLen, newEvent) {
+  let start = to + 1 > maxLen + 20 ? to - maxLen - 1 : 0;
+  let newBranch = branch.slice(start, to);
+  newBranch.push(newEvent);
+  return newBranch;
+}
+function isAdjacent(a, b) {
+  let ranges = [],
+    isAdjacent = false;
+  a.iterChangedRanges((f, t) => ranges.push(f, t));
+  b.iterChangedRanges((_f, _t, f, t) => {
+    for (let i = 0; i < ranges.length;) {
+      let from = ranges[i++],
+        to = ranges[i++];
+      if (t >= from && f <= to) isAdjacent = true;
+    }
+  });
+  return isAdjacent;
+}
+function eqSelectionShape(a, b) {
+  return a.ranges.length == b.ranges.length && a.ranges.filter((r, i) => r.empty != b.ranges[i].empty).length === 0;
+}
+function conc(a, b) {
+  return !a.length ? b : !b.length ? a : a.concat(b);
+}
+const none = [];
+const MaxSelectionsPerEvent = 200;
+function addSelection(branch, selection) {
+  if (!branch.length) {
+    return [HistEvent.selection([selection])];
+  } else {
+    let lastEvent = branch[branch.length - 1];
+    let sels = lastEvent.selectionsAfter.slice(Math.max(0, lastEvent.selectionsAfter.length - MaxSelectionsPerEvent));
+    if (sels.length && sels[sels.length - 1].eq(selection)) return branch;
+    sels.push(selection);
+    return updateBranch(branch, branch.length - 1, 1e9, lastEvent.setSelAfter(sels));
+  }
+}
+// Assumes the top item has one or more selectionAfter values
+function popSelection(branch) {
+  let last = branch[branch.length - 1];
+  let newBranch = branch.slice();
+  newBranch[branch.length - 1] = last.setSelAfter(last.selectionsAfter.slice(0, last.selectionsAfter.length - 1));
+  return newBranch;
+}
+// Add a mapping to the top event in the given branch. If this maps
+// away all the changes and effects in that item, drop it and
+// propagate the mapping to the next item.
+function addMappingToBranch(branch, mapping) {
+  if (!branch.length) return branch;
+  let length = branch.length,
+    selections = none;
+  while (length) {
+    let event = mapEvent(branch[length - 1], mapping, selections);
+    if (event.changes && !event.changes.empty || event.effects.length) {
+      // Event survived mapping
+      let result = branch.slice(0, length);
+      result[length - 1] = event;
+      return result;
+    } else {
+      // Drop this event, since there's no changes or effects left
+      mapping = event.mapped;
+      length--;
+      selections = event.selectionsAfter;
+    }
+  }
+  return selections.length ? [HistEvent.selection(selections)] : none;
+}
+function mapEvent(event, mapping, extraSelections) {
+  let selections = conc(event.selectionsAfter.length ? event.selectionsAfter.map(s => s.map(mapping)) : none, extraSelections);
+  // Change-less events don't store mappings (they are always the last event in a branch)
+  if (!event.changes) return HistEvent.selection(selections);
+  let mappedChanges = event.changes.map(mapping),
+    before = mapping.mapDesc(event.changes, true);
+  let fullMapping = event.mapped ? event.mapped.composeDesc(before) : before;
+  return new HistEvent(mappedChanges, StateEffect.mapEffects(event.effects, mapping), fullMapping, event.startSelection.map(before), selections);
+}
+const joinableUserEvent = /^(input\.type|delete)($|\.)/;
+class HistoryState {
+  constructor(done, undone, prevTime = 0, prevUserEvent = undefined) {
+    this.done = done;
+    this.undone = undone;
+    this.prevTime = prevTime;
+    this.prevUserEvent = prevUserEvent;
+  }
+  isolate() {
+    return this.prevTime ? new HistoryState(this.done, this.undone) : this;
+  }
+  addChanges(event, time, userEvent, config, tr) {
+    let done = this.done,
+      lastEvent = done[done.length - 1];
+    if (lastEvent && lastEvent.changes && !lastEvent.changes.empty && event.changes && (!userEvent || joinableUserEvent.test(userEvent)) && (!lastEvent.selectionsAfter.length && time - this.prevTime < config.newGroupDelay && config.joinToEvent(tr, isAdjacent(lastEvent.changes, event.changes)) ||
+    // For compose (but not compose.start) events, always join with previous event
+    userEvent == "input.type.compose")) {
+      done = updateBranch(done, done.length - 1, config.minDepth, new HistEvent(event.changes.compose(lastEvent.changes), conc(event.effects, lastEvent.effects), lastEvent.mapped, lastEvent.startSelection, none));
+    } else {
+      done = updateBranch(done, done.length, config.minDepth, event);
+    }
+    return new HistoryState(done, none, time, userEvent);
+  }
+  addSelection(selection, time, userEvent, newGroupDelay) {
+    let last = this.done.length ? this.done[this.done.length - 1].selectionsAfter : none;
+    if (last.length > 0 && time - this.prevTime < newGroupDelay && userEvent == this.prevUserEvent && userEvent && /^select($|\.)/.test(userEvent) && eqSelectionShape(last[last.length - 1], selection)) return this;
+    return new HistoryState(addSelection(this.done, selection), this.undone, time, userEvent);
+  }
+  addMapping(mapping) {
+    return new HistoryState(addMappingToBranch(this.done, mapping), addMappingToBranch(this.undone, mapping), this.prevTime, this.prevUserEvent);
+  }
+  pop(side, state, selection) {
+    let branch = side == 0 /* BranchName.Done */ ? this.done : this.undone;
+    if (branch.length == 0) return null;
+    let event = branch[branch.length - 1];
+    if (selection && event.selectionsAfter.length) {
+      return state.update({
+        selection: event.selectionsAfter[event.selectionsAfter.length - 1],
+        annotations: fromHistory.of({
+          side,
+          rest: popSelection(branch)
+        }),
+        userEvent: side == 0 /* BranchName.Done */ ? "select.undo" : "select.redo",
+        scrollIntoView: true
+      });
+    } else if (!event.changes) {
+      return null;
+    } else {
+      let rest = branch.length == 1 ? none : branch.slice(0, branch.length - 1);
+      if (event.mapped) rest = addMappingToBranch(rest, event.mapped);
+      return state.update({
+        changes: event.changes,
+        selection: event.startSelection,
+        effects: event.effects,
+        annotations: fromHistory.of({
+          side,
+          rest
+        }),
+        filter: false,
+        userEvent: side == 0 /* BranchName.Done */ ? "undo" : "redo",
+        scrollIntoView: true
+      });
+    }
+  }
+}
+HistoryState.empty = /*@__PURE__*/new HistoryState(none, none);
+/**
+Default key bindings for the undo history.
+
+- Mod-z: [`undo`](https://codemirror.net/6/docs/ref/#commands.undo).
+- Mod-y (Mod-Shift-z on macOS) + Ctrl-Shift-z on Linux: [`redo`](https://codemirror.net/6/docs/ref/#commands.redo).
+- Mod-u: [`undoSelection`](https://codemirror.net/6/docs/ref/#commands.undoSelection).
+- Alt-u (Mod-Shift-u on macOS): [`redoSelection`](https://codemirror.net/6/docs/ref/#commands.redoSelection).
+*/
+const historyKeymap = [{
+  key: "Mod-z",
+  run: undo,
+  preventDefault: true
+}, {
+  key: "Mod-y",
+  mac: "Mod-Shift-z",
+  run: redo,
+  preventDefault: true
+}, {
+  linux: "Ctrl-Shift-z",
+  run: redo,
+  preventDefault: true
+}, {
+  key: "Mod-u",
+  run: undoSelection,
+  preventDefault: true
+}, {
+  key: "Alt-u",
+  mac: "Mod-Shift-u",
+  run: redoSelection,
+  preventDefault: true
+}];
+function updateSel(sel, by) {
+  return EditorSelection.create(sel.ranges.map(by), sel.mainIndex);
+}
+function setSel(state, selection) {
+  return state.update({
+    selection,
+    scrollIntoView: true,
+    userEvent: "select"
+  });
+}
+function moveSel({
+  state,
+  dispatch
+}, how) {
+  let selection = updateSel(state.selection, how);
+  if (selection.eq(state.selection)) return false;
+  dispatch(setSel(state, selection));
+  return true;
+}
+function rangeEnd(range, forward) {
+  return EditorSelection.cursor(forward ? range.to : range.from);
+}
+function cursorByChar(view, forward) {
+  return moveSel(view, range => range.empty ? view.moveByChar(range, forward) : rangeEnd(range, forward));
+}
+function ltrAtCursor(view) {
+  return view.textDirectionAt(view.state.selection.main.head) == Direction.LTR;
+}
+/**
+Move the selection one character to the left (which is backward in
+left-to-right text, forward in right-to-left text).
+*/
+const cursorCharLeft = view => cursorByChar(view, !ltrAtCursor(view));
+/**
+Move the selection one character to the right.
+*/
+const cursorCharRight = view => cursorByChar(view, ltrAtCursor(view));
+function cursorByGroup(view, forward) {
+  return moveSel(view, range => range.empty ? view.moveByGroup(range, forward) : rangeEnd(range, forward));
+}
+/**
+Move the selection to the left across one group of word or
+non-word (but also non-space) characters.
+*/
+const cursorGroupLeft = view => cursorByGroup(view, !ltrAtCursor(view));
+/**
+Move the selection one group to the right.
+*/
+const cursorGroupRight = view => cursorByGroup(view, ltrAtCursor(view));
+function interestingNode(state, node, bracketProp) {
+  if (node.type.prop(bracketProp)) return true;
+  let len = node.to - node.from;
+  return len && (len > 2 || /[^\s,.;:]/.test(state.sliceDoc(node.from, node.to))) || node.firstChild;
+}
+function moveBySyntax(state, start, forward) {
+  let pos = syntaxTree(state).resolveInner(start.head);
+  let bracketProp = forward ? NodeProp.closedBy : NodeProp.openedBy;
+  // Scan forward through child nodes to see if there's an interesting
+  // node ahead.
+  for (let at = start.head;;) {
+    let next = forward ? pos.childAfter(at) : pos.childBefore(at);
+    if (!next) break;
+    if (interestingNode(state, next, bracketProp)) pos = next;else at = forward ? next.to : next.from;
+  }
+  let bracket = pos.type.prop(bracketProp),
+    match,
+    newPos;
+  if (bracket && (match = forward ? matchBrackets(state, pos.from, 1) : matchBrackets(state, pos.to, -1)) && match.matched) newPos = forward ? match.end.to : match.end.from;else newPos = forward ? pos.to : pos.from;
+  return EditorSelection.cursor(newPos, forward ? -1 : 1);
+}
+/**
+Move the cursor over the next syntactic element to the left.
+*/
+const cursorSyntaxLeft = view => moveSel(view, range => moveBySyntax(view.state, range, !ltrAtCursor(view)));
+/**
+Move the cursor over the next syntactic element to the right.
+*/
+const cursorSyntaxRight = view => moveSel(view, range => moveBySyntax(view.state, range, ltrAtCursor(view)));
+function cursorByLine(view, forward) {
+  return moveSel(view, range => {
+    if (!range.empty) return rangeEnd(range, forward);
+    let moved = view.moveVertically(range, forward);
+    return moved.head != range.head ? moved : view.moveToLineBoundary(range, forward);
+  });
+}
+/**
+Move the selection one line up.
+*/
+const cursorLineUp = view => cursorByLine(view, false);
+/**
+Move the selection one line down.
+*/
+const cursorLineDown = view => cursorByLine(view, true);
+function pageInfo(view) {
+  let selfScroll = view.scrollDOM.clientHeight < view.scrollDOM.scrollHeight - 2;
+  let marginTop = 0,
+    marginBottom = 0,
+    height;
+  if (selfScroll) {
+    for (let source of view.state.facet(EditorView.scrollMargins)) {
+      let margins = source(view);
+      if (margins === null || margins === void 0 ? void 0 : margins.top) marginTop = Math.max(margins === null || margins === void 0 ? void 0 : margins.top, marginTop);
+      if (margins === null || margins === void 0 ? void 0 : margins.bottom) marginBottom = Math.max(margins === null || margins === void 0 ? void 0 : margins.bottom, marginBottom);
+    }
+    height = view.scrollDOM.clientHeight - marginTop - marginBottom;
+  } else {
+    height = (view.dom.ownerDocument.defaultView || window).innerHeight;
+  }
+  return {
+    marginTop,
+    marginBottom,
+    selfScroll,
+    height: Math.max(view.defaultLineHeight, height - 5)
+  };
+}
+function cursorByPage(view, forward) {
+  let page = pageInfo(view);
+  let {
+      state
+    } = view,
+    selection = updateSel(state.selection, range => {
+      return range.empty ? view.moveVertically(range, forward, page.height) : rangeEnd(range, forward);
+    });
+  if (selection.eq(state.selection)) return false;
+  let effect;
+  if (page.selfScroll) {
+    let startPos = view.coordsAtPos(state.selection.main.head);
+    let scrollRect = view.scrollDOM.getBoundingClientRect();
+    let scrollTop = scrollRect.top + page.marginTop,
+      scrollBottom = scrollRect.bottom - page.marginBottom;
+    if (startPos && startPos.top > scrollTop && startPos.bottom < scrollBottom) effect = EditorView.scrollIntoView(selection.main.head, {
+      y: "start",
+      yMargin: startPos.top - scrollTop
+    });
+  }
+  view.dispatch(setSel(state, selection), {
+    effects: effect
+  });
+  return true;
+}
+/**
+Move the selection one page up.
+*/
+const cursorPageUp = view => cursorByPage(view, false);
+/**
+Move the selection one page down.
+*/
+const cursorPageDown = view => cursorByPage(view, true);
+function moveByLineBoundary(view, start, forward) {
+  let line = view.lineBlockAt(start.head),
+    moved = view.moveToLineBoundary(start, forward);
+  if (moved.head == start.head && moved.head != (forward ? line.to : line.from)) moved = view.moveToLineBoundary(start, forward, false);
+  if (!forward && moved.head == line.from && line.length) {
+    let space = /^\s*/.exec(view.state.sliceDoc(line.from, Math.min(line.from + 100, line.to)))[0].length;
+    if (space && start.head != line.from + space) moved = EditorSelection.cursor(line.from + space);
+  }
+  return moved;
+}
+/**
+Move the selection to the next line wrap point, or to the end of
+the line if there isn't one left on this line.
+*/
+const cursorLineBoundaryForward = view => moveSel(view, range => moveByLineBoundary(view, range, true));
+/**
+Move the selection to previous line wrap point, or failing that to
+the start of the line. If the line is indented, and the cursor
+isn't already at the end of the indentation, this will move to the
+end of the indentation instead of the start of the line.
+*/
+const cursorLineBoundaryBackward = view => moveSel(view, range => moveByLineBoundary(view, range, false));
+/**
+Move the selection one line wrap point to the left.
+*/
+const cursorLineBoundaryLeft = view => moveSel(view, range => moveByLineBoundary(view, range, !ltrAtCursor(view)));
+/**
+Move the selection one line wrap point to the right.
+*/
+const cursorLineBoundaryRight = view => moveSel(view, range => moveByLineBoundary(view, range, ltrAtCursor(view)));
+/**
+Move the selection to the start of the line.
+*/
+const cursorLineStart = view => moveSel(view, range => EditorSelection.cursor(view.lineBlockAt(range.head).from, 1));
+/**
+Move the selection to the end of the line.
+*/
+const cursorLineEnd = view => moveSel(view, range => EditorSelection.cursor(view.lineBlockAt(range.head).to, -1));
+function toMatchingBracket(state, dispatch, extend) {
+  let found = false,
+    selection = updateSel(state.selection, range => {
+      let matching = matchBrackets(state, range.head, -1) || matchBrackets(state, range.head, 1) || range.head > 0 && matchBrackets(state, range.head - 1, 1) || range.head < state.doc.length && matchBrackets(state, range.head + 1, -1);
+      if (!matching || !matching.end) return range;
+      found = true;
+      let head = matching.start.from == range.head ? matching.end.to : matching.end.from;
+      return extend ? EditorSelection.range(range.anchor, head) : EditorSelection.cursor(head);
+    });
+  if (!found) return false;
+  dispatch(setSel(state, selection));
+  return true;
+}
+/**
+Move the selection to the bracket matching the one it is currently
+on, if any.
+*/
+const cursorMatchingBracket = ({
+  state,
+  dispatch
+}) => toMatchingBracket(state, dispatch, false);
+function extendSel(view, how) {
+  let selection = updateSel(view.state.selection, range => {
+    let head = how(range);
+    return EditorSelection.range(range.anchor, head.head, head.goalColumn, head.bidiLevel || undefined);
+  });
+  if (selection.eq(view.state.selection)) return false;
+  view.dispatch(setSel(view.state, selection));
+  return true;
+}
+function selectByChar(view, forward) {
+  return extendSel(view, range => view.moveByChar(range, forward));
+}
+/**
+Move the selection head one character to the left, while leaving
+the anchor in place.
+*/
+const selectCharLeft = view => selectByChar(view, !ltrAtCursor(view));
+/**
+Move the selection head one character to the right.
+*/
+const selectCharRight = view => selectByChar(view, ltrAtCursor(view));
+function selectByGroup(view, forward) {
+  return extendSel(view, range => view.moveByGroup(range, forward));
+}
+/**
+Move the selection head one [group](https://codemirror.net/6/docs/ref/#commands.cursorGroupLeft) to
+the left.
+*/
+const selectGroupLeft = view => selectByGroup(view, !ltrAtCursor(view));
+/**
+Move the selection head one group to the right.
+*/
+const selectGroupRight = view => selectByGroup(view, ltrAtCursor(view));
+/**
+Move the selection head over the next syntactic element to the left.
+*/
+const selectSyntaxLeft = view => extendSel(view, range => moveBySyntax(view.state, range, !ltrAtCursor(view)));
+/**
+Move the selection head over the next syntactic element to the right.
+*/
+const selectSyntaxRight = view => extendSel(view, range => moveBySyntax(view.state, range, ltrAtCursor(view)));
+function selectByLine(view, forward) {
+  return extendSel(view, range => view.moveVertically(range, forward));
+}
+/**
+Move the selection head one line up.
+*/
+const selectLineUp = view => selectByLine(view, false);
+/**
+Move the selection head one line down.
+*/
+const selectLineDown = view => selectByLine(view, true);
+function selectByPage(view, forward) {
+  return extendSel(view, range => view.moveVertically(range, forward, pageInfo(view).height));
+}
+/**
+Move the selection head one page up.
+*/
+const selectPageUp = view => selectByPage(view, false);
+/**
+Move the selection head one page down.
+*/
+const selectPageDown = view => selectByPage(view, true);
+/**
+Move the selection head to the next line boundary.
+*/
+const selectLineBoundaryForward = view => extendSel(view, range => moveByLineBoundary(view, range, true));
+/**
+Move the selection head to the previous line boundary.
+*/
+const selectLineBoundaryBackward = view => extendSel(view, range => moveByLineBoundary(view, range, false));
+/**
+Move the selection head one line boundary to the left.
+*/
+const selectLineBoundaryLeft = view => extendSel(view, range => moveByLineBoundary(view, range, !ltrAtCursor(view)));
+/**
+Move the selection head one line boundary to the right.
+*/
+const selectLineBoundaryRight = view => extendSel(view, range => moveByLineBoundary(view, range, ltrAtCursor(view)));
+/**
+Move the selection head to the start of the line.
+*/
+const selectLineStart = view => extendSel(view, range => EditorSelection.cursor(view.lineBlockAt(range.head).from));
+/**
+Move the selection head to the end of the line.
+*/
+const selectLineEnd = view => extendSel(view, range => EditorSelection.cursor(view.lineBlockAt(range.head).to));
+/**
+Move the selection to the start of the document.
+*/
+const cursorDocStart = ({
+  state,
+  dispatch
+}) => {
+  dispatch(setSel(state, {
+    anchor: 0
+  }));
+  return true;
+};
+/**
+Move the selection to the end of the document.
+*/
+const cursorDocEnd = ({
+  state,
+  dispatch
+}) => {
+  dispatch(setSel(state, {
+    anchor: state.doc.length
+  }));
+  return true;
+};
+/**
+Move the selection head to the start of the document.
+*/
+const selectDocStart = ({
+  state,
+  dispatch
+}) => {
+  dispatch(setSel(state, {
+    anchor: state.selection.main.anchor,
+    head: 0
+  }));
+  return true;
+};
+/**
+Move the selection head to the end of the document.
+*/
+const selectDocEnd = ({
+  state,
+  dispatch
+}) => {
+  dispatch(setSel(state, {
+    anchor: state.selection.main.anchor,
+    head: state.doc.length
+  }));
+  return true;
+};
+/**
+Select the entire document.
+*/
+const selectAll = ({
+  state,
+  dispatch
+}) => {
+  dispatch(state.update({
+    selection: {
+      anchor: 0,
+      head: state.doc.length
+    },
+    userEvent: "select"
+  }));
+  return true;
+};
+/**
+Expand the selection to cover entire lines.
+*/
+const selectLine = ({
+  state,
+  dispatch
+}) => {
+  let ranges = selectedLineBlocks(state).map(({
+    from,
+    to
+  }) => EditorSelection.range(from, Math.min(to + 1, state.doc.length)));
+  dispatch(state.update({
+    selection: EditorSelection.create(ranges),
+    userEvent: "select"
+  }));
+  return true;
+};
+/**
+Select the next syntactic construct that is larger than the
+selection. Note that this will only work insofar as the language
+[provider](https://codemirror.net/6/docs/ref/#language.language) you use builds up a full
+syntax tree.
+*/
+const selectParentSyntax = ({
+  state,
+  dispatch
+}) => {
+  let selection = updateSel(state.selection, range => {
+    var _a;
+    let context = syntaxTree(state).resolveInner(range.head, 1);
+    while (!(context.from < range.from && context.to >= range.to || context.to > range.to && context.from <= range.from || !((_a = context.parent) === null || _a === void 0 ? void 0 : _a.parent))) context = context.parent;
+    return EditorSelection.range(context.to, context.from);
+  });
+  dispatch(setSel(state, selection));
+  return true;
+};
+/**
+Simplify the current selection. When multiple ranges are selected,
+reduce it to its main range. Otherwise, if the selection is
+non-empty, convert it to a cursor selection.
+*/
+const simplifySelection = ({
+  state,
+  dispatch
+}) => {
+  let cur = state.selection,
+    selection = null;
+  if (cur.ranges.length > 1) selection = EditorSelection.create([cur.main]);else if (!cur.main.empty) selection = EditorSelection.create([EditorSelection.cursor(cur.main.head)]);
+  if (!selection) return false;
+  dispatch(setSel(state, selection));
+  return true;
+};
+function deleteBy(target, by) {
+  if (target.state.readOnly) return false;
+  let event = "delete.selection",
+    {
+      state
+    } = target;
+  let changes = state.changeByRange(range => {
+    let {
+      from,
+      to
+    } = range;
+    if (from == to) {
+      let towards = by(from);
+      if (towards < from) {
+        event = "delete.backward";
+        towards = skipAtomic(target, towards, false);
+      } else if (towards > from) {
+        event = "delete.forward";
+        towards = skipAtomic(target, towards, true);
+      }
+      from = Math.min(from, towards);
+      to = Math.max(to, towards);
+    } else {
+      from = skipAtomic(target, from, false);
+      to = skipAtomic(target, to, true);
+    }
+    return from == to ? {
+      range
+    } : {
+      changes: {
+        from,
+        to
+      },
+      range: EditorSelection.cursor(from)
+    };
+  });
+  if (changes.changes.empty) return false;
+  target.dispatch(state.update(changes, {
+    scrollIntoView: true,
+    userEvent: event,
+    effects: event == "delete.selection" ? EditorView.announce.of(state.phrase("Selection deleted")) : undefined
+  }));
+  return true;
+}
+function skipAtomic(target, pos, forward) {
+  if (target instanceof EditorView) for (let ranges of target.state.facet(EditorView.atomicRanges).map(f => f(target))) ranges.between(pos, pos, (from, to) => {
+    if (from < pos && to > pos) pos = forward ? to : from;
+  });
+  return pos;
+}
+const deleteByChar = (target, forward) => deleteBy(target, pos => {
+  let {
+      state
+    } = target,
+    line = state.doc.lineAt(pos),
+    before,
+    targetPos;
+  if (!forward && pos > line.from && pos < line.from + 200 && !/[^ \t]/.test(before = line.text.slice(0, pos - line.from))) {
+    if (before[before.length - 1] == "\t") return pos - 1;
+    let col = countColumn(before, state.tabSize),
+      drop = col % getIndentUnit(state) || getIndentUnit(state);
+    for (let i = 0; i < drop && before[before.length - 1 - i] == " "; i++) pos--;
+    targetPos = pos;
+  } else {
+    targetPos = findClusterBreak(line.text, pos - line.from, forward, forward) + line.from;
+    if (targetPos == pos && line.number != (forward ? state.doc.lines : 1)) targetPos += forward ? 1 : -1;
+  }
+  return targetPos;
+});
+/**
+Delete the selection, or, for cursor selections, the character
+before the cursor.
+*/
+const deleteCharBackward = view => deleteByChar(view, false);
+/**
+Delete the selection or the character after the cursor.
+*/
+const deleteCharForward = view => deleteByChar(view, true);
+const deleteByGroup = (target, forward) => deleteBy(target, start => {
+  let pos = start,
+    {
+      state
+    } = target,
+    line = state.doc.lineAt(pos);
+  let categorize = state.charCategorizer(pos);
+  for (let cat = null;;) {
+    if (pos == (forward ? line.to : line.from)) {
+      if (pos == start && line.number != (forward ? state.doc.lines : 1)) pos += forward ? 1 : -1;
+      break;
+    }
+    let next = findClusterBreak(line.text, pos - line.from, forward) + line.from;
+    let nextChar = line.text.slice(Math.min(pos, next) - line.from, Math.max(pos, next) - line.from);
+    let nextCat = categorize(nextChar);
+    if (cat != null && nextCat != cat) break;
+    if (nextChar != " " || pos != start) cat = nextCat;
+    pos = next;
+  }
+  return pos;
+});
+/**
+Delete the selection or backward until the end of the next
+[group](https://codemirror.net/6/docs/ref/#view.EditorView.moveByGroup), only skipping groups of
+whitespace when they consist of a single space.
+*/
+const deleteGroupBackward = target => deleteByGroup(target, false);
+/**
+Delete the selection or forward until the end of the next group.
+*/
+const deleteGroupForward = target => deleteByGroup(target, true);
+/**
+Delete the selection, or, if it is a cursor selection, delete to
+the end of the line. If the cursor is directly at the end of the
+line, delete the line break after it.
+*/
+const deleteToLineEnd = view => deleteBy(view, pos => {
+  let lineEnd = view.lineBlockAt(pos).to;
+  return pos < lineEnd ? lineEnd : Math.min(view.state.doc.length, pos + 1);
+});
+/**
+Delete the selection, or, if it is a cursor selection, delete to
+the start of the line. If the cursor is directly at the start of the
+line, delete the line break before it.
+*/
+const deleteToLineStart = view => deleteBy(view, pos => {
+  let lineStart = view.lineBlockAt(pos).from;
+  return pos > lineStart ? lineStart : Math.max(0, pos - 1);
+});
+/**
+Replace each selection range with a line break, leaving the cursor
+on the line before the break.
+*/
+const splitLine = ({
+  state,
+  dispatch
+}) => {
+  if (state.readOnly) return false;
+  let changes = state.changeByRange(range => {
+    return {
+      changes: {
+        from: range.from,
+        to: range.to,
+        insert: Text.of(["", ""])
+      },
+      range: EditorSelection.cursor(range.from)
+    };
+  });
+  dispatch(state.update(changes, {
+    scrollIntoView: true,
+    userEvent: "input"
+  }));
+  return true;
+};
+/**
+Flip the characters before and after the cursor(s).
+*/
+const transposeChars = ({
+  state,
+  dispatch
+}) => {
+  if (state.readOnly) return false;
+  let changes = state.changeByRange(range => {
+    if (!range.empty || range.from == 0 || range.from == state.doc.length) return {
+      range
+    };
+    let pos = range.from,
+      line = state.doc.lineAt(pos);
+    let from = pos == line.from ? pos - 1 : findClusterBreak(line.text, pos - line.from, false) + line.from;
+    let to = pos == line.to ? pos + 1 : findClusterBreak(line.text, pos - line.from, true) + line.from;
+    return {
+      changes: {
+        from,
+        to,
+        insert: state.doc.slice(pos, to).append(state.doc.slice(from, pos))
+      },
+      range: EditorSelection.cursor(to)
+    };
+  });
+  if (changes.changes.empty) return false;
+  dispatch(state.update(changes, {
+    scrollIntoView: true,
+    userEvent: "move.character"
+  }));
+  return true;
+};
+function selectedLineBlocks(state) {
+  let blocks = [],
+    upto = -1;
+  for (let range of state.selection.ranges) {
+    let startLine = state.doc.lineAt(range.from),
+      endLine = state.doc.lineAt(range.to);
+    if (!range.empty && range.to == endLine.from) endLine = state.doc.lineAt(range.to - 1);
+    if (upto >= startLine.number) {
+      let prev = blocks[blocks.length - 1];
+      prev.to = endLine.to;
+      prev.ranges.push(range);
+    } else {
+      blocks.push({
+        from: startLine.from,
+        to: endLine.to,
+        ranges: [range]
+      });
+    }
+    upto = endLine.number + 1;
+  }
+  return blocks;
+}
+function moveLine(state, dispatch, forward) {
+  if (state.readOnly) return false;
+  let changes = [],
+    ranges = [];
+  for (let block of selectedLineBlocks(state)) {
+    if (forward ? block.to == state.doc.length : block.from == 0) continue;
+    let nextLine = state.doc.lineAt(forward ? block.to + 1 : block.from - 1);
+    let size = nextLine.length + 1;
+    if (forward) {
+      changes.push({
+        from: block.to,
+        to: nextLine.to
+      }, {
+        from: block.from,
+        insert: nextLine.text + state.lineBreak
+      });
+      for (let r of block.ranges) ranges.push(EditorSelection.range(Math.min(state.doc.length, r.anchor + size), Math.min(state.doc.length, r.head + size)));
+    } else {
+      changes.push({
+        from: nextLine.from,
+        to: block.from
+      }, {
+        from: block.to,
+        insert: state.lineBreak + nextLine.text
+      });
+      for (let r of block.ranges) ranges.push(EditorSelection.range(r.anchor - size, r.head - size));
+    }
+  }
+  if (!changes.length) return false;
+  dispatch(state.update({
+    changes,
+    scrollIntoView: true,
+    selection: EditorSelection.create(ranges, state.selection.mainIndex),
+    userEvent: "move.line"
+  }));
+  return true;
+}
+/**
+Move the selected lines up one line.
+*/
+const moveLineUp = ({
+  state,
+  dispatch
+}) => moveLine(state, dispatch, false);
+/**
+Move the selected lines down one line.
+*/
+const moveLineDown = ({
+  state,
+  dispatch
+}) => moveLine(state, dispatch, true);
+function copyLine(state, dispatch, forward) {
+  if (state.readOnly) return false;
+  let changes = [];
+  for (let block of selectedLineBlocks(state)) {
+    if (forward) changes.push({
+      from: block.from,
+      insert: state.doc.slice(block.from, block.to) + state.lineBreak
+    });else changes.push({
+      from: block.to,
+      insert: state.lineBreak + state.doc.slice(block.from, block.to)
+    });
+  }
+  dispatch(state.update({
+    changes,
+    scrollIntoView: true,
+    userEvent: "input.copyline"
+  }));
+  return true;
+}
+/**
+Create a copy of the selected lines. Keep the selection in the top copy.
+*/
+const copyLineUp = ({
+  state,
+  dispatch
+}) => copyLine(state, dispatch, false);
+/**
+Create a copy of the selected lines. Keep the selection in the bottom copy.
+*/
+const copyLineDown = ({
+  state,
+  dispatch
+}) => copyLine(state, dispatch, true);
+/**
+Delete selected lines.
+*/
+const deleteLine = view => {
+  if (view.state.readOnly) return false;
+  let {
+      state
+    } = view,
+    changes = state.changes(selectedLineBlocks(state).map(({
+      from,
+      to
+    }) => {
+      if (from > 0) from--;else if (to < state.doc.length) to++;
+      return {
+        from,
+        to
+      };
+    }));
+  let selection = updateSel(state.selection, range => view.moveVertically(range, true)).map(changes);
+  view.dispatch({
+    changes,
+    selection,
+    scrollIntoView: true,
+    userEvent: "delete.line"
+  });
+  return true;
+};
+function isBetweenBrackets(state, pos) {
+  if (/\(\)|\[\]|\{\}/.test(state.sliceDoc(pos - 1, pos + 1))) return {
+    from: pos,
+    to: pos
+  };
+  let context = syntaxTree(state).resolveInner(pos);
+  let before = context.childBefore(pos),
+    after = context.childAfter(pos),
+    closedBy;
+  if (before && after && before.to <= pos && after.from >= pos && (closedBy = before.type.prop(NodeProp.closedBy)) && closedBy.indexOf(after.name) > -1 && state.doc.lineAt(before.to).from == state.doc.lineAt(after.from).from) return {
+    from: before.to,
+    to: after.from
+  };
+  return null;
+}
+/**
+Replace the selection with a newline and indent the newly created
+line(s). If the current line consists only of whitespace, this
+will also delete that whitespace. When the cursor is between
+matching brackets, an additional newline will be inserted after
+the cursor.
+*/
+const insertNewlineAndIndent = /*@__PURE__*/newlineAndIndent(false);
+/**
+Create a blank, indented line below the current line.
+*/
+const insertBlankLine = /*@__PURE__*/newlineAndIndent(true);
+function newlineAndIndent(atEof) {
+  return ({
+    state,
+    dispatch
+  }) => {
+    if (state.readOnly) return false;
+    let changes = state.changeByRange(range => {
+      let {
+          from,
+          to
+        } = range,
+        line = state.doc.lineAt(from);
+      let explode = !atEof && from == to && isBetweenBrackets(state, from);
+      if (atEof) from = to = (to <= line.to ? line : state.doc.lineAt(to)).to;
+      let cx = new IndentContext(state, {
+        simulateBreak: from,
+        simulateDoubleBreak: !!explode
+      });
+      let indent = getIndentation(cx, from);
+      if (indent == null) indent = /^\s*/.exec(state.doc.lineAt(from).text)[0].length;
+      while (to < line.to && /\s/.test(line.text[to - line.from])) to++;
+      if (explode) ({
+        from,
+        to
+      } = explode);else if (from > line.from && from < line.from + 100 && !/\S/.test(line.text.slice(0, from))) from = line.from;
+      let insert = ["", indentString(state, indent)];
+      if (explode) insert.push(indentString(state, cx.lineIndent(line.from, -1)));
+      return {
+        changes: {
+          from,
+          to,
+          insert: Text.of(insert)
+        },
+        range: EditorSelection.cursor(from + 1 + insert[1].length)
+      };
+    });
+    dispatch(state.update(changes, {
+      scrollIntoView: true,
+      userEvent: "input"
+    }));
+    return true;
+  };
+}
+function changeBySelectedLine(state, f) {
+  let atLine = -1;
+  return state.changeByRange(range => {
+    let changes = [];
+    for (let pos = range.from; pos <= range.to;) {
+      let line = state.doc.lineAt(pos);
+      if (line.number > atLine && (range.empty || range.to > line.from)) {
+        f(line, changes, range);
+        atLine = line.number;
+      }
+      pos = line.to + 1;
+    }
+    let changeSet = state.changes(changes);
+    return {
+      changes,
+      range: EditorSelection.range(changeSet.mapPos(range.anchor, 1), changeSet.mapPos(range.head, 1))
+    };
+  });
+}
+/**
+Auto-indent the selected lines. This uses the [indentation service
+facet](https://codemirror.net/6/docs/ref/#language.indentService) as source for auto-indent
+information.
+*/
+const indentSelection = ({
+  state,
+  dispatch
+}) => {
+  if (state.readOnly) return false;
+  let updated = Object.create(null);
+  let context = new IndentContext(state, {
+    overrideIndentation: start => {
+      let found = updated[start];
+      return found == null ? -1 : found;
+    }
+  });
+  let changes = changeBySelectedLine(state, (line, changes, range) => {
+    let indent = getIndentation(context, line.from);
+    if (indent == null) return;
+    if (!/\S/.test(line.text)) indent = 0;
+    let cur = /^\s*/.exec(line.text)[0];
+    let norm = indentString(state, indent);
+    if (cur != norm || range.from < line.from + cur.length) {
+      updated[line.from] = indent;
+      changes.push({
+        from: line.from,
+        to: line.from + cur.length,
+        insert: norm
+      });
+    }
+  });
+  if (!changes.changes.empty) dispatch(state.update(changes, {
+    userEvent: "indent"
+  }));
+  return true;
+};
+/**
+Add a [unit](https://codemirror.net/6/docs/ref/#language.indentUnit) of indentation to all selected
+lines.
+*/
+const indentMore = ({
+  state,
+  dispatch
+}) => {
+  if (state.readOnly) return false;
+  dispatch(state.update(changeBySelectedLine(state, (line, changes) => {
+    changes.push({
+      from: line.from,
+      insert: state.facet(indentUnit)
+    });
+  }), {
+    userEvent: "input.indent"
+  }));
+  return true;
+};
+/**
+Remove a [unit](https://codemirror.net/6/docs/ref/#language.indentUnit) of indentation from all
+selected lines.
+*/
+const indentLess = ({
+  state,
+  dispatch
+}) => {
+  if (state.readOnly) return false;
+  dispatch(state.update(changeBySelectedLine(state, (line, changes) => {
+    let space = /^\s*/.exec(line.text)[0];
+    if (!space) return;
+    let col = countColumn(space, state.tabSize),
+      keep = 0;
+    let insert = indentString(state, Math.max(0, col - getIndentUnit(state)));
+    while (keep < space.length && keep < insert.length && space.charCodeAt(keep) == insert.charCodeAt(keep)) keep++;
+    changes.push({
+      from: line.from + keep,
+      to: line.from + space.length,
+      insert: insert.slice(keep)
+    });
+  }), {
+    userEvent: "delete.dedent"
+  }));
+  return true;
+};
+/**
+Array of key bindings containing the Emacs-style bindings that are
+available on macOS by default.
+
+ - Ctrl-b: [`cursorCharLeft`](https://codemirror.net/6/docs/ref/#commands.cursorCharLeft) ([`selectCharLeft`](https://codemirror.net/6/docs/ref/#commands.selectCharLeft) with Shift)
+ - Ctrl-f: [`cursorCharRight`](https://codemirror.net/6/docs/ref/#commands.cursorCharRight) ([`selectCharRight`](https://codemirror.net/6/docs/ref/#commands.selectCharRight) with Shift)
+ - Ctrl-p: [`cursorLineUp`](https://codemirror.net/6/docs/ref/#commands.cursorLineUp) ([`selectLineUp`](https://codemirror.net/6/docs/ref/#commands.selectLineUp) with Shift)
+ - Ctrl-n: [`cursorLineDown`](https://codemirror.net/6/docs/ref/#commands.cursorLineDown) ([`selectLineDown`](https://codemirror.net/6/docs/ref/#commands.selectLineDown) with Shift)
+ - Ctrl-a: [`cursorLineStart`](https://codemirror.net/6/docs/ref/#commands.cursorLineStart) ([`selectLineStart`](https://codemirror.net/6/docs/ref/#commands.selectLineStart) with Shift)
+ - Ctrl-e: [`cursorLineEnd`](https://codemirror.net/6/docs/ref/#commands.cursorLineEnd) ([`selectLineEnd`](https://codemirror.net/6/docs/ref/#commands.selectLineEnd) with Shift)
+ - Ctrl-d: [`deleteCharForward`](https://codemirror.net/6/docs/ref/#commands.deleteCharForward)
+ - Ctrl-h: [`deleteCharBackward`](https://codemirror.net/6/docs/ref/#commands.deleteCharBackward)
+ - Ctrl-k: [`deleteToLineEnd`](https://codemirror.net/6/docs/ref/#commands.deleteToLineEnd)
+ - Ctrl-Alt-h: [`deleteGroupBackward`](https://codemirror.net/6/docs/ref/#commands.deleteGroupBackward)
+ - Ctrl-o: [`splitLine`](https://codemirror.net/6/docs/ref/#commands.splitLine)
+ - Ctrl-t: [`transposeChars`](https://codemirror.net/6/docs/ref/#commands.transposeChars)
+ - Ctrl-v: [`cursorPageDown`](https://codemirror.net/6/docs/ref/#commands.cursorPageDown)
+ - Alt-v: [`cursorPageUp`](https://codemirror.net/6/docs/ref/#commands.cursorPageUp)
+*/
+const emacsStyleKeymap = [{
+  key: "Ctrl-b",
+  run: cursorCharLeft,
+  shift: selectCharLeft,
+  preventDefault: true
+}, {
+  key: "Ctrl-f",
+  run: cursorCharRight,
+  shift: selectCharRight
+}, {
+  key: "Ctrl-p",
+  run: cursorLineUp,
+  shift: selectLineUp
+}, {
+  key: "Ctrl-n",
+  run: cursorLineDown,
+  shift: selectLineDown
+}, {
+  key: "Ctrl-a",
+  run: cursorLineStart,
+  shift: selectLineStart
+}, {
+  key: "Ctrl-e",
+  run: cursorLineEnd,
+  shift: selectLineEnd
+}, {
+  key: "Ctrl-d",
+  run: deleteCharForward
+}, {
+  key: "Ctrl-h",
+  run: deleteCharBackward
+}, {
+  key: "Ctrl-k",
+  run: deleteToLineEnd
+}, {
+  key: "Ctrl-Alt-h",
+  run: deleteGroupBackward
+}, {
+  key: "Ctrl-o",
+  run: splitLine
+}, {
+  key: "Ctrl-t",
+  run: transposeChars
+}, {
+  key: "Ctrl-v",
+  run: cursorPageDown
+}];
+/**
+An array of key bindings closely sticking to platform-standard or
+widely used bindings. (This includes the bindings from
+[`emacsStyleKeymap`](https://codemirror.net/6/docs/ref/#commands.emacsStyleKeymap), with their `key`
+property changed to `mac`.)
+
+ - ArrowLeft: [`cursorCharLeft`](https://codemirror.net/6/docs/ref/#commands.cursorCharLeft) ([`selectCharLeft`](https://codemirror.net/6/docs/ref/#commands.selectCharLeft) with Shift)
+ - ArrowRight: [`cursorCharRight`](https://codemirror.net/6/docs/ref/#commands.cursorCharRight) ([`selectCharRight`](https://codemirror.net/6/docs/ref/#commands.selectCharRight) with Shift)
+ - Ctrl-ArrowLeft (Alt-ArrowLeft on macOS): [`cursorGroupLeft`](https://codemirror.net/6/docs/ref/#commands.cursorGroupLeft) ([`selectGroupLeft`](https://codemirror.net/6/docs/ref/#commands.selectGroupLeft) with Shift)
+ - Ctrl-ArrowRight (Alt-ArrowRight on macOS): [`cursorGroupRight`](https://codemirror.net/6/docs/ref/#commands.cursorGroupRight) ([`selectGroupRight`](https://codemirror.net/6/docs/ref/#commands.selectGroupRight) with Shift)
+ - Cmd-ArrowLeft (on macOS): [`cursorLineStart`](https://codemirror.net/6/docs/ref/#commands.cursorLineStart) ([`selectLineStart`](https://codemirror.net/6/docs/ref/#commands.selectLineStart) with Shift)
+ - Cmd-ArrowRight (on macOS): [`cursorLineEnd`](https://codemirror.net/6/docs/ref/#commands.cursorLineEnd) ([`selectLineEnd`](https://codemirror.net/6/docs/ref/#commands.selectLineEnd) with Shift)
+ - ArrowUp: [`cursorLineUp`](https://codemirror.net/6/docs/ref/#commands.cursorLineUp) ([`selectLineUp`](https://codemirror.net/6/docs/ref/#commands.selectLineUp) with Shift)
+ - ArrowDown: [`cursorLineDown`](https://codemirror.net/6/docs/ref/#commands.cursorLineDown) ([`selectLineDown`](https://codemirror.net/6/docs/ref/#commands.selectLineDown) with Shift)
+ - Cmd-ArrowUp (on macOS): [`cursorDocStart`](https://codemirror.net/6/docs/ref/#commands.cursorDocStart) ([`selectDocStart`](https://codemirror.net/6/docs/ref/#commands.selectDocStart) with Shift)
+ - Cmd-ArrowDown (on macOS): [`cursorDocEnd`](https://codemirror.net/6/docs/ref/#commands.cursorDocEnd) ([`selectDocEnd`](https://codemirror.net/6/docs/ref/#commands.selectDocEnd) with Shift)
+ - Ctrl-ArrowUp (on macOS): [`cursorPageUp`](https://codemirror.net/6/docs/ref/#commands.cursorPageUp) ([`selectPageUp`](https://codemirror.net/6/docs/ref/#commands.selectPageUp) with Shift)
+ - Ctrl-ArrowDown (on macOS): [`cursorPageDown`](https://codemirror.net/6/docs/ref/#commands.cursorPageDown) ([`selectPageDown`](https://codemirror.net/6/docs/ref/#commands.selectPageDown) with Shift)
+ - PageUp: [`cursorPageUp`](https://codemirror.net/6/docs/ref/#commands.cursorPageUp) ([`selectPageUp`](https://codemirror.net/6/docs/ref/#commands.selectPageUp) with Shift)
+ - PageDown: [`cursorPageDown`](https://codemirror.net/6/docs/ref/#commands.cursorPageDown) ([`selectPageDown`](https://codemirror.net/6/docs/ref/#commands.selectPageDown) with Shift)
+ - Home: [`cursorLineBoundaryBackward`](https://codemirror.net/6/docs/ref/#commands.cursorLineBoundaryBackward) ([`selectLineBoundaryBackward`](https://codemirror.net/6/docs/ref/#commands.selectLineBoundaryBackward) with Shift)
+ - End: [`cursorLineBoundaryForward`](https://codemirror.net/6/docs/ref/#commands.cursorLineBoundaryForward) ([`selectLineBoundaryForward`](https://codemirror.net/6/docs/ref/#commands.selectLineBoundaryForward) with Shift)
+ - Ctrl-Home (Cmd-Home on macOS): [`cursorDocStart`](https://codemirror.net/6/docs/ref/#commands.cursorDocStart) ([`selectDocStart`](https://codemirror.net/6/docs/ref/#commands.selectDocStart) with Shift)
+ - Ctrl-End (Cmd-Home on macOS): [`cursorDocEnd`](https://codemirror.net/6/docs/ref/#commands.cursorDocEnd) ([`selectDocEnd`](https://codemirror.net/6/docs/ref/#commands.selectDocEnd) with Shift)
+ - Enter: [`insertNewlineAndIndent`](https://codemirror.net/6/docs/ref/#commands.insertNewlineAndIndent)
+ - Ctrl-a (Cmd-a on macOS): [`selectAll`](https://codemirror.net/6/docs/ref/#commands.selectAll)
+ - Backspace: [`deleteCharBackward`](https://codemirror.net/6/docs/ref/#commands.deleteCharBackward)
+ - Delete: [`deleteCharForward`](https://codemirror.net/6/docs/ref/#commands.deleteCharForward)
+ - Ctrl-Backspace (Alt-Backspace on macOS): [`deleteGroupBackward`](https://codemirror.net/6/docs/ref/#commands.deleteGroupBackward)
+ - Ctrl-Delete (Alt-Delete on macOS): [`deleteGroupForward`](https://codemirror.net/6/docs/ref/#commands.deleteGroupForward)
+ - Cmd-Backspace (macOS): [`deleteToLineStart`](https://codemirror.net/6/docs/ref/#commands.deleteToLineStart).
+ - Cmd-Delete (macOS): [`deleteToLineEnd`](https://codemirror.net/6/docs/ref/#commands.deleteToLineEnd).
+*/
+const standardKeymap = /*@__PURE__*/[{
+  key: "ArrowLeft",
+  run: cursorCharLeft,
+  shift: selectCharLeft,
+  preventDefault: true
+}, {
+  key: "Mod-ArrowLeft",
+  mac: "Alt-ArrowLeft",
+  run: cursorGroupLeft,
+  shift: selectGroupLeft,
+  preventDefault: true
+}, {
+  mac: "Cmd-ArrowLeft",
+  run: cursorLineBoundaryLeft,
+  shift: selectLineBoundaryLeft,
+  preventDefault: true
+}, {
+  key: "ArrowRight",
+  run: cursorCharRight,
+  shift: selectCharRight,
+  preventDefault: true
+}, {
+  key: "Mod-ArrowRight",
+  mac: "Alt-ArrowRight",
+  run: cursorGroupRight,
+  shift: selectGroupRight,
+  preventDefault: true
+}, {
+  mac: "Cmd-ArrowRight",
+  run: cursorLineBoundaryRight,
+  shift: selectLineBoundaryRight,
+  preventDefault: true
+}, {
+  key: "ArrowUp",
+  run: cursorLineUp,
+  shift: selectLineUp,
+  preventDefault: true
+}, {
+  mac: "Cmd-ArrowUp",
+  run: cursorDocStart,
+  shift: selectDocStart
+}, {
+  mac: "Ctrl-ArrowUp",
+  run: cursorPageUp,
+  shift: selectPageUp
+}, {
+  key: "ArrowDown",
+  run: cursorLineDown,
+  shift: selectLineDown,
+  preventDefault: true
+}, {
+  mac: "Cmd-ArrowDown",
+  run: cursorDocEnd,
+  shift: selectDocEnd
+}, {
+  mac: "Ctrl-ArrowDown",
+  run: cursorPageDown,
+  shift: selectPageDown
+}, {
+  key: "PageUp",
+  run: cursorPageUp,
+  shift: selectPageUp
+}, {
+  key: "PageDown",
+  run: cursorPageDown,
+  shift: selectPageDown
+}, {
+  key: "Home",
+  run: cursorLineBoundaryBackward,
+  shift: selectLineBoundaryBackward,
+  preventDefault: true
+}, {
+  key: "Mod-Home",
+  run: cursorDocStart,
+  shift: selectDocStart
+}, {
+  key: "End",
+  run: cursorLineBoundaryForward,
+  shift: selectLineBoundaryForward,
+  preventDefault: true
+}, {
+  key: "Mod-End",
+  run: cursorDocEnd,
+  shift: selectDocEnd
+}, {
+  key: "Enter",
+  run: insertNewlineAndIndent
+}, {
+  key: "Mod-a",
+  run: selectAll
+}, {
+  key: "Backspace",
+  run: deleteCharBackward,
+  shift: deleteCharBackward
+}, {
+  key: "Delete",
+  run: deleteCharForward
+}, {
+  key: "Mod-Backspace",
+  mac: "Alt-Backspace",
+  run: deleteGroupBackward
+}, {
+  key: "Mod-Delete",
+  mac: "Alt-Delete",
+  run: deleteGroupForward
+}, {
+  mac: "Mod-Backspace",
+  run: deleteToLineStart
+}, {
+  mac: "Mod-Delete",
+  run: deleteToLineEnd
+}].concat( /*@__PURE__*/emacsStyleKeymap.map(b => ({
+  mac: b.key,
+  run: b.run,
+  shift: b.shift
+})));
+/**
+The default keymap. Includes all bindings from
+[`standardKeymap`](https://codemirror.net/6/docs/ref/#commands.standardKeymap) plus the following:
+
+- Alt-ArrowLeft (Ctrl-ArrowLeft on macOS): [`cursorSyntaxLeft`](https://codemirror.net/6/docs/ref/#commands.cursorSyntaxLeft) ([`selectSyntaxLeft`](https://codemirror.net/6/docs/ref/#commands.selectSyntaxLeft) with Shift)
+- Alt-ArrowRight (Ctrl-ArrowRight on macOS): [`cursorSyntaxRight`](https://codemirror.net/6/docs/ref/#commands.cursorSyntaxRight) ([`selectSyntaxRight`](https://codemirror.net/6/docs/ref/#commands.selectSyntaxRight) with Shift)
+- Alt-ArrowUp: [`moveLineUp`](https://codemirror.net/6/docs/ref/#commands.moveLineUp)
+- Alt-ArrowDown: [`moveLineDown`](https://codemirror.net/6/docs/ref/#commands.moveLineDown)
+- Shift-Alt-ArrowUp: [`copyLineUp`](https://codemirror.net/6/docs/ref/#commands.copyLineUp)
+- Shift-Alt-ArrowDown: [`copyLineDown`](https://codemirror.net/6/docs/ref/#commands.copyLineDown)
+- Escape: [`simplifySelection`](https://codemirror.net/6/docs/ref/#commands.simplifySelection)
+- Ctrl-Enter (Comd-Enter on macOS): [`insertBlankLine`](https://codemirror.net/6/docs/ref/#commands.insertBlankLine)
+- Alt-l (Ctrl-l on macOS): [`selectLine`](https://codemirror.net/6/docs/ref/#commands.selectLine)
+- Ctrl-i (Cmd-i on macOS): [`selectParentSyntax`](https://codemirror.net/6/docs/ref/#commands.selectParentSyntax)
+- Ctrl-[ (Cmd-[ on macOS): [`indentLess`](https://codemirror.net/6/docs/ref/#commands.indentLess)
+- Ctrl-] (Cmd-] on macOS): [`indentMore`](https://codemirror.net/6/docs/ref/#commands.indentMore)
+- Ctrl-Alt-\\ (Cmd-Alt-\\ on macOS): [`indentSelection`](https://codemirror.net/6/docs/ref/#commands.indentSelection)
+- Shift-Ctrl-k (Shift-Cmd-k on macOS): [`deleteLine`](https://codemirror.net/6/docs/ref/#commands.deleteLine)
+- Shift-Ctrl-\\ (Shift-Cmd-\\ on macOS): [`cursorMatchingBracket`](https://codemirror.net/6/docs/ref/#commands.cursorMatchingBracket)
+- Ctrl-/ (Cmd-/ on macOS): [`toggleComment`](https://codemirror.net/6/docs/ref/#commands.toggleComment).
+- Shift-Alt-a: [`toggleBlockComment`](https://codemirror.net/6/docs/ref/#commands.toggleBlockComment).
+*/
+const defaultKeymap = /*@__PURE__*/[{
+  key: "Alt-ArrowLeft",
+  mac: "Ctrl-ArrowLeft",
+  run: cursorSyntaxLeft,
+  shift: selectSyntaxLeft
+}, {
+  key: "Alt-ArrowRight",
+  mac: "Ctrl-ArrowRight",
+  run: cursorSyntaxRight,
+  shift: selectSyntaxRight
+}, {
+  key: "Alt-ArrowUp",
+  run: moveLineUp
+}, {
+  key: "Shift-Alt-ArrowUp",
+  run: copyLineUp
+}, {
+  key: "Alt-ArrowDown",
+  run: moveLineDown
+}, {
+  key: "Shift-Alt-ArrowDown",
+  run: copyLineDown
+}, {
+  key: "Escape",
+  run: simplifySelection
+}, {
+  key: "Mod-Enter",
+  run: insertBlankLine
+}, {
+  key: "Alt-l",
+  mac: "Ctrl-l",
+  run: selectLine
+}, {
+  key: "Mod-i",
+  run: selectParentSyntax,
+  preventDefault: true
+}, {
+  key: "Mod-[",
+  run: indentLess
+}, {
+  key: "Mod-]",
+  run: indentMore
+}, {
+  key: "Mod-Alt-\\",
+  run: indentSelection
+}, {
+  key: "Shift-Mod-k",
+  run: deleteLine
+}, {
+  key: "Shift-Mod-\\",
+  run: cursorMatchingBracket
+}, {
+  key: "Mod-/",
+  run: toggleComment
+}, {
+  key: "Alt-A",
+  run: toggleBlockComment
+}].concat(standardKeymap);
+/**
+A binding that binds Tab to [`indentMore`](https://codemirror.net/6/docs/ref/#commands.indentMore) and
+Shift-Tab to [`indentLess`](https://codemirror.net/6/docs/ref/#commands.indentLess).
+Please see the [Tab example](../../examples/tab/) before using
+this.
+*/
+const indentWithTab = {
+  key: "Tab",
+  run: indentMore,
+  shift: indentLess
+};
+
+function crelt() {
+  var elt = arguments[0];
+  if (typeof elt == "string") elt = document.createElement(elt);
+  var i = 1,
+    next = arguments[1];
+  if (next && typeof next == "object" && next.nodeType == null && !Array.isArray(next)) {
+    for (var name in next) if (Object.prototype.hasOwnProperty.call(next, name)) {
+      var value = next[name];
+      if (typeof value == "string") elt.setAttribute(name, value);else if (value != null) elt[name] = value;
+    }
+    i++;
+  }
+  for (; i < arguments.length; i++) add(elt, arguments[i]);
+  return elt;
+}
+function add(elt, child) {
+  if (typeof child == "string") {
+    elt.appendChild(document.createTextNode(child));
+  } else if (child == null) ; else if (child.nodeType != null) {
+    elt.appendChild(child);
+  } else if (Array.isArray(child)) {
+    for (var i = 0; i < child.length; i++) add(elt, child[i]);
+  } else {
+    throw new RangeError("Unsupported child node: " + child);
+  }
+}
+
+const basicNormalize = typeof String.prototype.normalize == "function" ? x => x.normalize("NFKD") : x => x;
+/**
+A search cursor provides an iterator over text matches in a
+document.
+*/
+class SearchCursor {
+  /**
+  Create a text cursor. The query is the search string, `from` to
+  `to` provides the region to search.
+  
+  When `normalize` is given, it will be called, on both the query
+  string and the content it is matched against, before comparing.
+  You can, for example, create a case-insensitive search by
+  passing `s => s.toLowerCase()`.
+  
+  Text is always normalized with
+  [`.normalize("NFKD")`](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/String/normalize)
+  (when supported).
+  */
+  constructor(text, query, from = 0, to = text.length, normalize, test) {
+    this.test = test;
+    /**
+    The current match (only holds a meaningful value after
+    [`next`](https://codemirror.net/6/docs/ref/#search.SearchCursor.next) has been called and when
+    `done` is false).
+    */
+    this.value = {
+      from: 0,
+      to: 0
+    };
+    /**
+    Whether the end of the iterated region has been reached.
+    */
+    this.done = false;
+    this.matches = [];
+    this.buffer = "";
+    this.bufferPos = 0;
+    this.iter = text.iterRange(from, to);
+    this.bufferStart = from;
+    this.normalize = normalize ? x => normalize(basicNormalize(x)) : basicNormalize;
+    this.query = this.normalize(query);
+  }
+  peek() {
+    if (this.bufferPos == this.buffer.length) {
+      this.bufferStart += this.buffer.length;
+      this.iter.next();
+      if (this.iter.done) return -1;
+      this.bufferPos = 0;
+      this.buffer = this.iter.value;
+    }
+    return codePointAt(this.buffer, this.bufferPos);
+  }
+  /**
+  Look for the next match. Updates the iterator's
+  [`value`](https://codemirror.net/6/docs/ref/#search.SearchCursor.value) and
+  [`done`](https://codemirror.net/6/docs/ref/#search.SearchCursor.done) properties. Should be called
+  at least once before using the cursor.
+  */
+  next() {
+    while (this.matches.length) this.matches.pop();
+    return this.nextOverlapping();
+  }
+  /**
+  The `next` method will ignore matches that partially overlap a
+  previous match. This method behaves like `next`, but includes
+  such matches.
+  */
+  nextOverlapping() {
+    for (;;) {
+      let next = this.peek();
+      if (next < 0) {
+        this.done = true;
+        return this;
+      }
+      let str = fromCodePoint(next),
+        start = this.bufferStart + this.bufferPos;
+      this.bufferPos += codePointSize(next);
+      let norm = this.normalize(str);
+      for (let i = 0, pos = start;; i++) {
+        let code = norm.charCodeAt(i);
+        let match = this.match(code, pos);
+        if (match) {
+          this.value = match;
+          return this;
+        }
+        if (i == norm.length - 1) break;
+        if (pos == start && i < str.length && str.charCodeAt(i) == code) pos++;
+      }
+    }
+  }
+  match(code, pos) {
+    let match = null;
+    for (let i = 0; i < this.matches.length; i += 2) {
+      let index = this.matches[i],
+        keep = false;
+      if (this.query.charCodeAt(index) == code) {
+        if (index == this.query.length - 1) {
+          match = {
+            from: this.matches[i + 1],
+            to: pos + 1
+          };
+        } else {
+          this.matches[i]++;
+          keep = true;
+        }
+      }
+      if (!keep) {
+        this.matches.splice(i, 2);
+        i -= 2;
+      }
+    }
+    if (this.query.charCodeAt(0) == code) {
+      if (this.query.length == 1) match = {
+        from: pos,
+        to: pos + 1
+      };else this.matches.push(1, pos);
+    }
+    if (match && this.test && !this.test(match.from, match.to, this.buffer, this.bufferPos)) match = null;
+    return match;
+  }
+}
+if (typeof Symbol != "undefined") SearchCursor.prototype[Symbol.iterator] = function () {
+  return this;
+};
+const empty = {
+  from: -1,
+  to: -1,
+  match: /*@__PURE__*/ /.*/.exec("")
+};
+const baseFlags = "gm" + (/x/.unicode == null ? "" : "u");
+/**
+This class is similar to [`SearchCursor`](https://codemirror.net/6/docs/ref/#search.SearchCursor)
+but searches for a regular expression pattern instead of a plain
+string.
+*/
+class RegExpCursor {
+  /**
+  Create a cursor that will search the given range in the given
+  document. `query` should be the raw pattern (as you'd pass it to
+  `new RegExp`).
+  */
+  constructor(text, query, options, from = 0, to = text.length) {
+    this.text = text;
+    this.to = to;
+    this.curLine = "";
+    /**
+    Set to `true` when the cursor has reached the end of the search
+    range.
+    */
+    this.done = false;
+    /**
+    Will contain an object with the extent of the match and the
+    match object when [`next`](https://codemirror.net/6/docs/ref/#search.RegExpCursor.next)
+    sucessfully finds a match.
+    */
+    this.value = empty;
+    if (/\\[sWDnr]|\n|\r|\[\^/.test(query)) return new MultilineRegExpCursor(text, query, options, from, to);
+    this.re = new RegExp(query, baseFlags + ((options === null || options === void 0 ? void 0 : options.ignoreCase) ? "i" : ""));
+    this.test = options === null || options === void 0 ? void 0 : options.test;
+    this.iter = text.iter();
+    let startLine = text.lineAt(from);
+    this.curLineStart = startLine.from;
+    this.matchPos = toCharEnd(text, from);
+    this.getLine(this.curLineStart);
+  }
+  getLine(skip) {
+    this.iter.next(skip);
+    if (this.iter.lineBreak) {
+      this.curLine = "";
+    } else {
+      this.curLine = this.iter.value;
+      if (this.curLineStart + this.curLine.length > this.to) this.curLine = this.curLine.slice(0, this.to - this.curLineStart);
+      this.iter.next();
+    }
+  }
+  nextLine() {
+    this.curLineStart = this.curLineStart + this.curLine.length + 1;
+    if (this.curLineStart > this.to) this.curLine = "";else this.getLine(0);
+  }
+  /**
+  Move to the next match, if there is one.
+  */
+  next() {
+    for (let off = this.matchPos - this.curLineStart;;) {
+      this.re.lastIndex = off;
+      let match = this.matchPos <= this.to && this.re.exec(this.curLine);
+      if (match) {
+        let from = this.curLineStart + match.index,
+          to = from + match[0].length;
+        this.matchPos = toCharEnd(this.text, to + (from == to ? 1 : 0));
+        if (from == this.curLineStart + this.curLine.length) this.nextLine();
+        if ((from < to || from > this.value.to) && (!this.test || this.test(from, to, match))) {
+          this.value = {
+            from,
+            to,
+            match
+          };
+          return this;
+        }
+        off = this.matchPos - this.curLineStart;
+      } else if (this.curLineStart + this.curLine.length < this.to) {
+        this.nextLine();
+        off = 0;
+      } else {
+        this.done = true;
+        return this;
+      }
+    }
+  }
+}
+const flattened = /*@__PURE__*/new WeakMap();
+// Reusable (partially) flattened document strings
+class FlattenedDoc {
+  constructor(from, text) {
+    this.from = from;
+    this.text = text;
+  }
+  get to() {
+    return this.from + this.text.length;
+  }
+  static get(doc, from, to) {
+    let cached = flattened.get(doc);
+    if (!cached || cached.from >= to || cached.to <= from) {
+      let flat = new FlattenedDoc(from, doc.sliceString(from, to));
+      flattened.set(doc, flat);
+      return flat;
+    }
+    if (cached.from == from && cached.to == to) return cached;
+    let {
+      text,
+      from: cachedFrom
+    } = cached;
+    if (cachedFrom > from) {
+      text = doc.sliceString(from, cachedFrom) + text;
+      cachedFrom = from;
+    }
+    if (cached.to < to) text += doc.sliceString(cached.to, to);
+    flattened.set(doc, new FlattenedDoc(cachedFrom, text));
+    return new FlattenedDoc(from, text.slice(from - cachedFrom, to - cachedFrom));
+  }
+}
+class MultilineRegExpCursor {
+  constructor(text, query, options, from, to) {
+    this.text = text;
+    this.to = to;
+    this.done = false;
+    this.value = empty;
+    this.matchPos = toCharEnd(text, from);
+    this.re = new RegExp(query, baseFlags + ((options === null || options === void 0 ? void 0 : options.ignoreCase) ? "i" : ""));
+    this.test = options === null || options === void 0 ? void 0 : options.test;
+    this.flat = FlattenedDoc.get(text, from, this.chunkEnd(from + 5000 /* Chunk.Base */));
+  }
+
+  chunkEnd(pos) {
+    return pos >= this.to ? this.to : this.text.lineAt(pos).to;
+  }
+  next() {
+    for (;;) {
+      let off = this.re.lastIndex = this.matchPos - this.flat.from;
+      let match = this.re.exec(this.flat.text);
+      // Skip empty matches directly after the last match
+      if (match && !match[0] && match.index == off) {
+        this.re.lastIndex = off + 1;
+        match = this.re.exec(this.flat.text);
+      }
+      if (match) {
+        let from = this.flat.from + match.index,
+          to = from + match[0].length;
+        // If a match goes almost to the end of a noncomplete chunk, try
+        // again, since it'll likely be able to match more
+        if ((this.flat.to >= this.to || match.index + match[0].length <= this.flat.text.length - 10) && (!this.test || this.test(from, to, match))) {
+          this.value = {
+            from,
+            to,
+            match
+          };
+          this.matchPos = toCharEnd(this.text, to + (from == to ? 1 : 0));
+          return this;
+        }
+      }
+      if (this.flat.to == this.to) {
+        this.done = true;
+        return this;
+      }
+      // Grow the flattened doc
+      this.flat = FlattenedDoc.get(this.text, this.flat.from, this.chunkEnd(this.flat.from + this.flat.text.length * 2));
+    }
+  }
+}
+if (typeof Symbol != "undefined") {
+  RegExpCursor.prototype[Symbol.iterator] = MultilineRegExpCursor.prototype[Symbol.iterator] = function () {
+    return this;
+  };
+}
+function validRegExp(source) {
+  try {
+    new RegExp(source, baseFlags);
+    return true;
+  } catch (_a) {
+    return false;
+  }
+}
+function toCharEnd(text, pos) {
+  if (pos >= text.length) return pos;
+  let line = text.lineAt(pos),
+    next;
+  while (pos < line.to && (next = line.text.charCodeAt(pos - line.from)) >= 0xDC00 && next < 0xE000) pos++;
+  return pos;
+}
+function createLineDialog(view) {
+  let input = crelt("input", {
+    class: "cm-textfield",
+    name: "line"
+  });
+  let dom = crelt("form", {
+    class: "cm-gotoLine",
+    onkeydown: event => {
+      if (event.keyCode == 27) {
+        // Escape
+        event.preventDefault();
+        view.dispatch({
+          effects: dialogEffect.of(false)
+        });
+        view.focus();
+      } else if (event.keyCode == 13) {
+        // Enter
+        event.preventDefault();
+        go();
+      }
+    },
+    onsubmit: event => {
+      event.preventDefault();
+      go();
+    }
+  }, crelt("label", view.state.phrase("Go to line"), ": ", input), " ", crelt("button", {
+    class: "cm-button",
+    type: "submit"
+  }, view.state.phrase("go")));
+  function go() {
+    let match = /^([+-])?(\d+)?(:\d+)?(%)?$/.exec(input.value);
+    if (!match) return;
+    let {
+        state
+      } = view,
+      startLine = state.doc.lineAt(state.selection.main.head);
+    let [, sign, ln, cl, percent] = match;
+    let col = cl ? +cl.slice(1) : 0;
+    let line = ln ? +ln : startLine.number;
+    if (ln && percent) {
+      let pc = line / 100;
+      if (sign) pc = pc * (sign == "-" ? -1 : 1) + startLine.number / state.doc.lines;
+      line = Math.round(state.doc.lines * pc);
+    } else if (ln && sign) {
+      line = line * (sign == "-" ? -1 : 1) + startLine.number;
+    }
+    let docLine = state.doc.line(Math.max(1, Math.min(state.doc.lines, line)));
+    view.dispatch({
+      effects: dialogEffect.of(false),
+      selection: EditorSelection.cursor(docLine.from + Math.max(0, Math.min(col, docLine.length))),
+      scrollIntoView: true
+    });
+    view.focus();
+  }
+  return {
+    dom
+  };
+}
+const dialogEffect = /*@__PURE__*/StateEffect.define();
+const dialogField = /*@__PURE__*/StateField.define({
+  create() {
+    return true;
+  },
+  update(value, tr) {
+    for (let e of tr.effects) if (e.is(dialogEffect)) value = e.value;
+    return value;
+  },
+  provide: f => showPanel.from(f, val => val ? createLineDialog : null)
+});
+/**
+Command that shows a dialog asking the user for a line number, and
+when a valid position is provided, moves the cursor to that line.
+
+Supports line numbers, relative line offsets prefixed with `+` or
+`-`, document percentages suffixed with `%`, and an optional
+column position by adding `:` and a second number after the line
+number.
+
+The dialog can be styled with the `panel.gotoLine` theme
+selector.
+*/
+const gotoLine = view => {
+  let panel = getPanel(view, createLineDialog);
+  if (!panel) {
+    let effects = [dialogEffect.of(true)];
+    if (view.state.field(dialogField, false) == null) effects.push(StateEffect.appendConfig.of([dialogField, baseTheme$1]));
+    view.dispatch({
+      effects
+    });
+    panel = getPanel(view, createLineDialog);
+  }
+  if (panel) panel.dom.querySelector("input").focus();
+  return true;
+};
+const baseTheme$1 = /*@__PURE__*/EditorView.baseTheme({
+  ".cm-panel.cm-gotoLine": {
+    padding: "2px 6px 4px",
+    "& label": {
+      fontSize: "80%"
+    }
+  }
+});
+const defaultHighlightOptions = {
+  highlightWordAroundCursor: false,
+  minSelectionLength: 1,
+  maxMatches: 100,
+  wholeWords: false
+};
+const highlightConfig = /*@__PURE__*/Facet.define({
+  combine(options) {
+    return combineConfig(options, defaultHighlightOptions, {
+      highlightWordAroundCursor: (a, b) => a || b,
+      minSelectionLength: Math.min,
+      maxMatches: Math.min
+    });
+  }
+});
+/**
+This extension highlights text that matches the selection. It uses
+the `"cm-selectionMatch"` class for the highlighting. When
+`highlightWordAroundCursor` is enabled, the word at the cursor
+itself will be highlighted with `"cm-selectionMatch-main"`.
+*/
+function highlightSelectionMatches(options) {
+  let ext = [defaultTheme, matchHighlighter];
+  if (options) ext.push(highlightConfig.of(options));
+  return ext;
+}
+const matchDeco = /*@__PURE__*/Decoration.mark({
+  class: "cm-selectionMatch"
+});
+const mainMatchDeco = /*@__PURE__*/Decoration.mark({
+  class: "cm-selectionMatch cm-selectionMatch-main"
+});
+// Whether the characters directly outside the given positions are non-word characters
+function insideWordBoundaries(check, state, from, to) {
+  return (from == 0 || check(state.sliceDoc(from - 1, from)) != CharCategory.Word) && (to == state.doc.length || check(state.sliceDoc(to, to + 1)) != CharCategory.Word);
+}
+// Whether the characters directly at the given positions are word characters
+function insideWord(check, state, from, to) {
+  return check(state.sliceDoc(from, from + 1)) == CharCategory.Word && check(state.sliceDoc(to - 1, to)) == CharCategory.Word;
+}
+const matchHighlighter = /*@__PURE__*/ViewPlugin.fromClass(class {
+  constructor(view) {
+    this.decorations = this.getDeco(view);
+  }
+  update(update) {
+    if (update.selectionSet || update.docChanged || update.viewportChanged) this.decorations = this.getDeco(update.view);
+  }
+  getDeco(view) {
+    let conf = view.state.facet(highlightConfig);
+    let {
+        state
+      } = view,
+      sel = state.selection;
+    if (sel.ranges.length > 1) return Decoration.none;
+    let range = sel.main,
+      query,
+      check = null;
+    if (range.empty) {
+      if (!conf.highlightWordAroundCursor) return Decoration.none;
+      let word = state.wordAt(range.head);
+      if (!word) return Decoration.none;
+      check = state.charCategorizer(range.head);
+      query = state.sliceDoc(word.from, word.to);
+    } else {
+      let len = range.to - range.from;
+      if (len < conf.minSelectionLength || len > 200) return Decoration.none;
+      if (conf.wholeWords) {
+        query = state.sliceDoc(range.from, range.to); // TODO: allow and include leading/trailing space?
+        check = state.charCategorizer(range.head);
+        if (!(insideWordBoundaries(check, state, range.from, range.to) && insideWord(check, state, range.from, range.to))) return Decoration.none;
+      } else {
+        query = state.sliceDoc(range.from, range.to).trim();
+        if (!query) return Decoration.none;
+      }
+    }
+    let deco = [];
+    for (let part of view.visibleRanges) {
+      let cursor = new SearchCursor(state.doc, query, part.from, part.to);
+      while (!cursor.next().done) {
+        let {
+          from,
+          to
+        } = cursor.value;
+        if (!check || insideWordBoundaries(check, state, from, to)) {
+          if (range.empty && from <= range.from && to >= range.to) deco.push(mainMatchDeco.range(from, to));else if (from >= range.to || to <= range.from) deco.push(matchDeco.range(from, to));
+          if (deco.length > conf.maxMatches) return Decoration.none;
+        }
+      }
+    }
+    return Decoration.set(deco);
+  }
+}, {
+  decorations: v => v.decorations
+});
+const defaultTheme = /*@__PURE__*/EditorView.baseTheme({
+  ".cm-selectionMatch": {
+    backgroundColor: "#99ff7780"
+  },
+  ".cm-searchMatch .cm-selectionMatch": {
+    backgroundColor: "transparent"
+  }
+});
+// Select the words around the cursors.
+const selectWord = ({
+  state,
+  dispatch
+}) => {
+  let {
+    selection
+  } = state;
+  let newSel = EditorSelection.create(selection.ranges.map(range => state.wordAt(range.head) || EditorSelection.cursor(range.head)), selection.mainIndex);
+  if (newSel.eq(selection)) return false;
+  dispatch(state.update({
+    selection: newSel
+  }));
+  return true;
+};
+// Find next occurrence of query relative to last cursor. Wrap around
+// the document if there are no more matches.
+function findNextOccurrence(state, query) {
+  let {
+    main,
+    ranges
+  } = state.selection;
+  let word = state.wordAt(main.head),
+    fullWord = word && word.from == main.from && word.to == main.to;
+  for (let cycled = false, cursor = new SearchCursor(state.doc, query, ranges[ranges.length - 1].to);;) {
+    cursor.next();
+    if (cursor.done) {
+      if (cycled) return null;
+      cursor = new SearchCursor(state.doc, query, 0, Math.max(0, ranges[ranges.length - 1].from - 1));
+      cycled = true;
+    } else {
+      if (cycled && ranges.some(r => r.from == cursor.value.from)) continue;
+      if (fullWord) {
+        let word = state.wordAt(cursor.value.from);
+        if (!word || word.from != cursor.value.from || word.to != cursor.value.to) continue;
+      }
+      return cursor.value;
+    }
+  }
+}
+/**
+Select next occurrence of the current selection. Expand selection
+to the surrounding word when the selection is empty.
+*/
+const selectNextOccurrence = ({
+  state,
+  dispatch
+}) => {
+  let {
+    ranges
+  } = state.selection;
+  if (ranges.some(sel => sel.from === sel.to)) return selectWord({
+    state,
+    dispatch
+  });
+  let searchedText = state.sliceDoc(ranges[0].from, ranges[0].to);
+  if (state.selection.ranges.some(r => state.sliceDoc(r.from, r.to) != searchedText)) return false;
+  let range = findNextOccurrence(state, searchedText);
+  if (!range) return false;
+  dispatch(state.update({
+    selection: state.selection.addRange(EditorSelection.range(range.from, range.to), false),
+    effects: EditorView.scrollIntoView(range.to)
+  }));
+  return true;
+};
+const searchConfigFacet = /*@__PURE__*/Facet.define({
+  combine(configs) {
+    return combineConfig(configs, {
+      top: false,
+      caseSensitive: false,
+      literal: false,
+      wholeWord: false,
+      createPanel: view => new SearchPanel(view)
+    });
+  }
+});
+/**
+A search query. Part of the editor's search state.
+*/
+class SearchQuery {
+  /**
+  Create a query object.
+  */
+  constructor(config) {
+    this.search = config.search;
+    this.caseSensitive = !!config.caseSensitive;
+    this.literal = !!config.literal;
+    this.regexp = !!config.regexp;
+    this.replace = config.replace || "";
+    this.valid = !!this.search && (!this.regexp || validRegExp(this.search));
+    this.unquoted = this.unquote(this.search);
+    this.wholeWord = !!config.wholeWord;
+  }
+  /**
+  @internal
+  */
+  unquote(text) {
+    return this.literal ? text : text.replace(/\\([nrt\\])/g, (_, ch) => ch == "n" ? "\n" : ch == "r" ? "\r" : ch == "t" ? "\t" : "\\");
+  }
+  /**
+  Compare this query to another query.
+  */
+  eq(other) {
+    return this.search == other.search && this.replace == other.replace && this.caseSensitive == other.caseSensitive && this.regexp == other.regexp && this.wholeWord == other.wholeWord;
+  }
+  /**
+  @internal
+  */
+  create() {
+    return this.regexp ? new RegExpQuery(this) : new StringQuery(this);
+  }
+  /**
+  Get a search cursor for this query, searching through the given
+  range in the given state.
+  */
+  getCursor(state, from = 0, to) {
+    let st = state.doc ? state : EditorState.create({
+      doc: state
+    });
+    if (to == null) to = st.doc.length;
+    return this.regexp ? regexpCursor(this, st, from, to) : stringCursor(this, st, from, to);
+  }
+}
+class QueryType {
+  constructor(spec) {
+    this.spec = spec;
+  }
+}
+function stringCursor(spec, state, from, to) {
+  return new SearchCursor(state.doc, spec.unquoted, from, to, spec.caseSensitive ? undefined : x => x.toLowerCase(), spec.wholeWord ? stringWordTest(state.doc, state.charCategorizer(state.selection.main.head)) : undefined);
+}
+function stringWordTest(doc, categorizer) {
+  return (from, to, buf, bufPos) => {
+    if (bufPos > from || bufPos + buf.length < to) {
+      bufPos = Math.max(0, from - 2);
+      buf = doc.sliceString(bufPos, Math.min(doc.length, to + 2));
+    }
+    return (categorizer(charBefore(buf, from - bufPos)) != CharCategory.Word || categorizer(charAfter(buf, from - bufPos)) != CharCategory.Word) && (categorizer(charAfter(buf, to - bufPos)) != CharCategory.Word || categorizer(charBefore(buf, to - bufPos)) != CharCategory.Word);
+  };
+}
+class StringQuery extends QueryType {
+  constructor(spec) {
+    super(spec);
+  }
+  nextMatch(state, curFrom, curTo) {
+    let cursor = stringCursor(this.spec, state, curTo, state.doc.length).nextOverlapping();
+    if (cursor.done) cursor = stringCursor(this.spec, state, 0, curFrom).nextOverlapping();
+    return cursor.done ? null : cursor.value;
+  }
+  // Searching in reverse is, rather than implementing inverted search
+  // cursor, done by scanning chunk after chunk forward.
+  prevMatchInRange(state, from, to) {
+    for (let pos = to;;) {
+      let start = Math.max(from, pos - 10000 /* FindPrev.ChunkSize */ - this.spec.unquoted.length);
+      let cursor = stringCursor(this.spec, state, start, pos),
+        range = null;
+      while (!cursor.nextOverlapping().done) range = cursor.value;
+      if (range) return range;
+      if (start == from) return null;
+      pos -= 10000 /* FindPrev.ChunkSize */;
+    }
+  }
+
+  prevMatch(state, curFrom, curTo) {
+    return this.prevMatchInRange(state, 0, curFrom) || this.prevMatchInRange(state, curTo, state.doc.length);
+  }
+  getReplacement(_result) {
+    return this.spec.unquote(this.spec.replace);
+  }
+  matchAll(state, limit) {
+    let cursor = stringCursor(this.spec, state, 0, state.doc.length),
+      ranges = [];
+    while (!cursor.next().done) {
+      if (ranges.length >= limit) return null;
+      ranges.push(cursor.value);
+    }
+    return ranges;
+  }
+  highlight(state, from, to, add) {
+    let cursor = stringCursor(this.spec, state, Math.max(0, from - this.spec.unquoted.length), Math.min(to + this.spec.unquoted.length, state.doc.length));
+    while (!cursor.next().done) add(cursor.value.from, cursor.value.to);
+  }
+}
+function regexpCursor(spec, state, from, to) {
+  return new RegExpCursor(state.doc, spec.search, {
+    ignoreCase: !spec.caseSensitive,
+    test: spec.wholeWord ? regexpWordTest(state.charCategorizer(state.selection.main.head)) : undefined
+  }, from, to);
+}
+function charBefore(str, index) {
+  return str.slice(findClusterBreak(str, index, false), index);
+}
+function charAfter(str, index) {
+  return str.slice(index, findClusterBreak(str, index));
+}
+function regexpWordTest(categorizer) {
+  return (_from, _to, match) => !match[0].length || (categorizer(charBefore(match.input, match.index)) != CharCategory.Word || categorizer(charAfter(match.input, match.index)) != CharCategory.Word) && (categorizer(charAfter(match.input, match.index + match[0].length)) != CharCategory.Word || categorizer(charBefore(match.input, match.index + match[0].length)) != CharCategory.Word);
+}
+class RegExpQuery extends QueryType {
+  nextMatch(state, curFrom, curTo) {
+    let cursor = regexpCursor(this.spec, state, curTo, state.doc.length).next();
+    if (cursor.done) cursor = regexpCursor(this.spec, state, 0, curFrom).next();
+    return cursor.done ? null : cursor.value;
+  }
+  prevMatchInRange(state, from, to) {
+    for (let size = 1;; size++) {
+      let start = Math.max(from, to - size * 10000 /* FindPrev.ChunkSize */);
+      let cursor = regexpCursor(this.spec, state, start, to),
+        range = null;
+      while (!cursor.next().done) range = cursor.value;
+      if (range && (start == from || range.from > start + 10)) return range;
+      if (start == from) return null;
+    }
+  }
+  prevMatch(state, curFrom, curTo) {
+    return this.prevMatchInRange(state, 0, curFrom) || this.prevMatchInRange(state, curTo, state.doc.length);
+  }
+  getReplacement(result) {
+    return this.spec.unquote(this.spec.replace.replace(/\$([$&\d+])/g, (m, i) => i == "$" ? "$" : i == "&" ? result.match[0] : i != "0" && +i < result.match.length ? result.match[i] : m));
+  }
+  matchAll(state, limit) {
+    let cursor = regexpCursor(this.spec, state, 0, state.doc.length),
+      ranges = [];
+    while (!cursor.next().done) {
+      if (ranges.length >= limit) return null;
+      ranges.push(cursor.value);
+    }
+    return ranges;
+  }
+  highlight(state, from, to, add) {
+    let cursor = regexpCursor(this.spec, state, Math.max(0, from - 250 /* RegExp.HighlightMargin */), Math.min(to + 250 /* RegExp.HighlightMargin */, state.doc.length));
+    while (!cursor.next().done) add(cursor.value.from, cursor.value.to);
+  }
+}
+/**
+A state effect that updates the current search query. Note that
+this only has an effect if the search state has been initialized
+(by including [`search`](https://codemirror.net/6/docs/ref/#search.search) in your configuration or
+by running [`openSearchPanel`](https://codemirror.net/6/docs/ref/#search.openSearchPanel) at least
+once).
+*/
+const setSearchQuery = /*@__PURE__*/StateEffect.define();
+const togglePanel$1 = /*@__PURE__*/StateEffect.define();
+const searchState = /*@__PURE__*/StateField.define({
+  create(state) {
+    return new SearchState(defaultQuery(state).create(), null);
+  },
+  update(value, tr) {
+    for (let effect of tr.effects) {
+      if (effect.is(setSearchQuery)) value = new SearchState(effect.value.create(), value.panel);else if (effect.is(togglePanel$1)) value = new SearchState(value.query, effect.value ? createSearchPanel : null);
+    }
+    return value;
+  },
+  provide: f => showPanel.from(f, val => val.panel)
+});
+class SearchState {
+  constructor(query, panel) {
+    this.query = query;
+    this.panel = panel;
+  }
+}
+const matchMark = /*@__PURE__*/Decoration.mark({
+    class: "cm-searchMatch"
+  }),
+  selectedMatchMark = /*@__PURE__*/Decoration.mark({
+    class: "cm-searchMatch cm-searchMatch-selected"
+  });
+const searchHighlighter = /*@__PURE__*/ViewPlugin.fromClass(class {
+  constructor(view) {
+    this.view = view;
+    this.decorations = this.highlight(view.state.field(searchState));
+  }
+  update(update) {
+    let state = update.state.field(searchState);
+    if (state != update.startState.field(searchState) || update.docChanged || update.selectionSet || update.viewportChanged) this.decorations = this.highlight(state);
+  }
+  highlight({
+    query,
+    panel
+  }) {
+    if (!panel || !query.spec.valid) return Decoration.none;
+    let {
+      view
+    } = this;
+    let builder = new RangeSetBuilder();
+    for (let i = 0, ranges = view.visibleRanges, l = ranges.length; i < l; i++) {
+      let {
+        from,
+        to
+      } = ranges[i];
+      while (i < l - 1 && to > ranges[i + 1].from - 2 * 250 /* RegExp.HighlightMargin */) to = ranges[++i].to;
+      query.highlight(view.state, from, to, (from, to) => {
+        let selected = view.state.selection.ranges.some(r => r.from == from && r.to == to);
+        builder.add(from, to, selected ? selectedMatchMark : matchMark);
+      });
+    }
+    return builder.finish();
+  }
+}, {
+  decorations: v => v.decorations
+});
+function searchCommand(f) {
+  return view => {
+    let state = view.state.field(searchState, false);
+    return state && state.query.spec.valid ? f(view, state) : openSearchPanel(view);
+  };
+}
+/**
+Open the search panel if it isn't already open, and move the
+selection to the first match after the current main selection.
+Will wrap around to the start of the document when it reaches the
+end.
+*/
+const findNext = /*@__PURE__*/searchCommand((view, {
+  query
+}) => {
+  let {
+    to
+  } = view.state.selection.main;
+  let next = query.nextMatch(view.state, to, to);
+  if (!next) return false;
+  view.dispatch({
+    selection: {
+      anchor: next.from,
+      head: next.to
+    },
+    scrollIntoView: true,
+    effects: announceMatch(view, next),
+    userEvent: "select.search"
+  });
+  return true;
+});
+/**
+Move the selection to the previous instance of the search query,
+before the current main selection. Will wrap past the start
+of the document to start searching at the end again.
+*/
+const findPrevious = /*@__PURE__*/searchCommand((view, {
+  query
+}) => {
+  let {
+      state
+    } = view,
+    {
+      from
+    } = state.selection.main;
+  let range = query.prevMatch(state, from, from);
+  if (!range) return false;
+  view.dispatch({
+    selection: {
+      anchor: range.from,
+      head: range.to
+    },
+    scrollIntoView: true,
+    effects: announceMatch(view, range),
+    userEvent: "select.search"
+  });
+  return true;
+});
+/**
+Select all instances of the search query.
+*/
+const selectMatches = /*@__PURE__*/searchCommand((view, {
+  query
+}) => {
+  let ranges = query.matchAll(view.state, 1000);
+  if (!ranges || !ranges.length) return false;
+  view.dispatch({
+    selection: EditorSelection.create(ranges.map(r => EditorSelection.range(r.from, r.to))),
+    userEvent: "select.search.matches"
+  });
+  return true;
+});
+/**
+Select all instances of the currently selected text.
+*/
+const selectSelectionMatches = ({
+  state,
+  dispatch
+}) => {
+  let sel = state.selection;
+  if (sel.ranges.length > 1 || sel.main.empty) return false;
+  let {
+    from,
+    to
+  } = sel.main;
+  let ranges = [],
+    main = 0;
+  for (let cur = new SearchCursor(state.doc, state.sliceDoc(from, to)); !cur.next().done;) {
+    if (ranges.length > 1000) return false;
+    if (cur.value.from == from) main = ranges.length;
+    ranges.push(EditorSelection.range(cur.value.from, cur.value.to));
+  }
+  dispatch(state.update({
+    selection: EditorSelection.create(ranges, main),
+    userEvent: "select.search.matches"
+  }));
+  return true;
+};
+/**
+Replace the current match of the search query.
+*/
+const replaceNext = /*@__PURE__*/searchCommand((view, {
+  query
+}) => {
+  let {
+      state
+    } = view,
+    {
+      from,
+      to
+    } = state.selection.main;
+  if (state.readOnly) return false;
+  let next = query.nextMatch(state, from, from);
+  if (!next) return false;
+  let changes = [],
+    selection,
+    replacement;
+  let announce = [];
+  if (next.from == from && next.to == to) {
+    replacement = state.toText(query.getReplacement(next));
+    changes.push({
+      from: next.from,
+      to: next.to,
+      insert: replacement
+    });
+    next = query.nextMatch(state, next.from, next.to);
+    announce.push(EditorView.announce.of(state.phrase("replaced match on line $", state.doc.lineAt(from).number) + "."));
+  }
+  if (next) {
+    let off = changes.length == 0 || changes[0].from >= next.to ? 0 : next.to - next.from - replacement.length;
+    selection = {
+      anchor: next.from - off,
+      head: next.to - off
+    };
+    announce.push(announceMatch(view, next));
+  }
+  view.dispatch({
+    changes,
+    selection,
+    scrollIntoView: !!selection,
+    effects: announce,
+    userEvent: "input.replace"
+  });
+  return true;
+});
+/**
+Replace all instances of the search query with the given
+replacement.
+*/
+const replaceAll = /*@__PURE__*/searchCommand((view, {
+  query
+}) => {
+  if (view.state.readOnly) return false;
+  let changes = query.matchAll(view.state, 1e9).map(match => {
+    let {
+      from,
+      to
+    } = match;
+    return {
+      from,
+      to,
+      insert: query.getReplacement(match)
+    };
+  });
+  if (!changes.length) return false;
+  let announceText = view.state.phrase("replaced $ matches", changes.length) + ".";
+  view.dispatch({
+    changes,
+    effects: EditorView.announce.of(announceText),
+    userEvent: "input.replace.all"
+  });
+  return true;
+});
+function createSearchPanel(view) {
+  return view.state.facet(searchConfigFacet).createPanel(view);
+}
+function defaultQuery(state, fallback) {
+  var _a, _b, _c, _d;
+  let sel = state.selection.main;
+  let selText = sel.empty || sel.to > sel.from + 100 ? "" : state.sliceDoc(sel.from, sel.to);
+  if (fallback && !selText) return fallback;
+  let config = state.facet(searchConfigFacet);
+  return new SearchQuery({
+    search: ((_a = fallback === null || fallback === void 0 ? void 0 : fallback.literal) !== null && _a !== void 0 ? _a : config.literal) ? selText : selText.replace(/\n/g, "\\n"),
+    caseSensitive: (_b = fallback === null || fallback === void 0 ? void 0 : fallback.caseSensitive) !== null && _b !== void 0 ? _b : config.caseSensitive,
+    literal: (_c = fallback === null || fallback === void 0 ? void 0 : fallback.literal) !== null && _c !== void 0 ? _c : config.literal,
+    wholeWord: (_d = fallback === null || fallback === void 0 ? void 0 : fallback.wholeWord) !== null && _d !== void 0 ? _d : config.wholeWord
+  });
+}
+/**
+Make sure the search panel is open and focused.
+*/
+const openSearchPanel = view => {
+  let state = view.state.field(searchState, false);
+  if (state && state.panel) {
+    let panel = getPanel(view, createSearchPanel);
+    if (!panel) return false;
+    let searchInput = panel.dom.querySelector("[main-field]");
+    if (searchInput && searchInput != view.root.activeElement) {
+      let query = defaultQuery(view.state, state.query.spec);
+      if (query.valid) view.dispatch({
+        effects: setSearchQuery.of(query)
+      });
+      searchInput.focus();
+      searchInput.select();
+    }
+  } else {
+    view.dispatch({
+      effects: [togglePanel$1.of(true), state ? setSearchQuery.of(defaultQuery(view.state, state.query.spec)) : StateEffect.appendConfig.of(searchExtensions)]
+    });
+  }
+  return true;
+};
+/**
+Close the search panel.
+*/
+const closeSearchPanel = view => {
+  let state = view.state.field(searchState, false);
+  if (!state || !state.panel) return false;
+  let panel = getPanel(view, createSearchPanel);
+  if (panel && panel.dom.contains(view.root.activeElement)) view.focus();
+  view.dispatch({
+    effects: togglePanel$1.of(false)
+  });
+  return true;
+};
+/**
+Default search-related key bindings.
+
+ - Mod-f: [`openSearchPanel`](https://codemirror.net/6/docs/ref/#search.openSearchPanel)
+ - F3, Mod-g: [`findNext`](https://codemirror.net/6/docs/ref/#search.findNext)
+ - Shift-F3, Shift-Mod-g: [`findPrevious`](https://codemirror.net/6/docs/ref/#search.findPrevious)
+ - Alt-g: [`gotoLine`](https://codemirror.net/6/docs/ref/#search.gotoLine)
+ - Mod-d: [`selectNextOccurrence`](https://codemirror.net/6/docs/ref/#search.selectNextOccurrence)
+*/
+const searchKeymap = [{
+  key: "Mod-f",
+  run: openSearchPanel,
+  scope: "editor search-panel"
+}, {
+  key: "F3",
+  run: findNext,
+  shift: findPrevious,
+  scope: "editor search-panel",
+  preventDefault: true
+}, {
+  key: "Mod-g",
+  run: findNext,
+  shift: findPrevious,
+  scope: "editor search-panel",
+  preventDefault: true
+}, {
+  key: "Escape",
+  run: closeSearchPanel,
+  scope: "editor search-panel"
+}, {
+  key: "Mod-Shift-l",
+  run: selectSelectionMatches
+}, {
+  key: "Alt-g",
+  run: gotoLine
+}, {
+  key: "Mod-d",
+  run: selectNextOccurrence,
+  preventDefault: true
+}];
+class SearchPanel {
+  constructor(view) {
+    this.view = view;
+    let query = this.query = view.state.field(searchState).query.spec;
+    this.commit = this.commit.bind(this);
+    this.searchField = crelt("input", {
+      value: query.search,
+      placeholder: phrase(view, "Find"),
+      "aria-label": phrase(view, "Find"),
+      class: "cm-textfield",
+      name: "search",
+      form: "",
+      "main-field": "true",
+      onchange: this.commit,
+      onkeyup: this.commit
+    });
+    this.replaceField = crelt("input", {
+      value: query.replace,
+      placeholder: phrase(view, "Replace"),
+      "aria-label": phrase(view, "Replace"),
+      class: "cm-textfield",
+      name: "replace",
+      form: "",
+      onchange: this.commit,
+      onkeyup: this.commit
+    });
+    this.caseField = crelt("input", {
+      type: "checkbox",
+      name: "case",
+      form: "",
+      checked: query.caseSensitive,
+      onchange: this.commit
+    });
+    this.reField = crelt("input", {
+      type: "checkbox",
+      name: "re",
+      form: "",
+      checked: query.regexp,
+      onchange: this.commit
+    });
+    this.wordField = crelt("input", {
+      type: "checkbox",
+      name: "word",
+      form: "",
+      checked: query.wholeWord,
+      onchange: this.commit
+    });
+    function button(name, onclick, content) {
+      return crelt("button", {
+        class: "cm-button",
+        name,
+        onclick,
+        type: "button"
+      }, content);
+    }
+    this.dom = crelt("div", {
+      onkeydown: e => this.keydown(e),
+      class: "cm-search"
+    }, [this.searchField, button("next", () => findNext(view), [phrase(view, "next")]), button("prev", () => findPrevious(view), [phrase(view, "previous")]), button("select", () => selectMatches(view), [phrase(view, "all")]), crelt("label", null, [this.caseField, phrase(view, "match case")]), crelt("label", null, [this.reField, phrase(view, "regexp")]), crelt("label", null, [this.wordField, phrase(view, "by word")]), ...(view.state.readOnly ? [] : [crelt("br"), this.replaceField, button("replace", () => replaceNext(view), [phrase(view, "replace")]), button("replaceAll", () => replaceAll(view), [phrase(view, "replace all")])]), crelt("button", {
+      name: "close",
+      onclick: () => closeSearchPanel(view),
+      "aria-label": phrase(view, "close"),
+      type: "button"
+    }, ["×"])]);
+  }
+  commit() {
+    let query = new SearchQuery({
+      search: this.searchField.value,
+      caseSensitive: this.caseField.checked,
+      regexp: this.reField.checked,
+      wholeWord: this.wordField.checked,
+      replace: this.replaceField.value
+    });
+    if (!query.eq(this.query)) {
+      this.query = query;
+      this.view.dispatch({
+        effects: setSearchQuery.of(query)
+      });
+    }
+  }
+  keydown(e) {
+    if (runScopeHandlers(this.view, e, "search-panel")) {
+      e.preventDefault();
+    } else if (e.keyCode == 13 && e.target == this.searchField) {
+      e.preventDefault();
+      (e.shiftKey ? findPrevious : findNext)(this.view);
+    } else if (e.keyCode == 13 && e.target == this.replaceField) {
+      e.preventDefault();
+      replaceNext(this.view);
+    }
+  }
+  update(update) {
+    for (let tr of update.transactions) for (let effect of tr.effects) {
+      if (effect.is(setSearchQuery) && !effect.value.eq(this.query)) this.setQuery(effect.value);
+    }
+  }
+  setQuery(query) {
+    this.query = query;
+    this.searchField.value = query.search;
+    this.replaceField.value = query.replace;
+    this.caseField.checked = query.caseSensitive;
+    this.reField.checked = query.regexp;
+    this.wordField.checked = query.wholeWord;
+  }
+  mount() {
+    this.searchField.select();
+  }
+  get pos() {
+    return 80;
+  }
+  get top() {
+    return this.view.state.facet(searchConfigFacet).top;
+  }
+}
+function phrase(view, phrase) {
+  return view.state.phrase(phrase);
+}
+const AnnounceMargin = 30;
+const Break = /[\s\.,:;?!]/;
+function announceMatch(view, {
+  from,
+  to
+}) {
+  let line = view.state.doc.lineAt(from),
+    lineEnd = view.state.doc.lineAt(to).to;
+  let start = Math.max(line.from, from - AnnounceMargin),
+    end = Math.min(lineEnd, to + AnnounceMargin);
+  let text = view.state.sliceDoc(start, end);
+  if (start != line.from) {
+    for (let i = 0; i < AnnounceMargin; i++) if (!Break.test(text[i + 1]) && Break.test(text[i])) {
+      text = text.slice(i);
+      break;
+    }
+  }
+  if (end != lineEnd) {
+    for (let i = text.length - 1; i > text.length - AnnounceMargin; i--) if (!Break.test(text[i - 1]) && Break.test(text[i])) {
+      text = text.slice(0, i);
+      break;
+    }
+  }
+  return EditorView.announce.of(`${view.state.phrase("current match")}. ${text} ${view.state.phrase("on line")} ${line.number}.`);
+}
+const baseTheme$2 = /*@__PURE__*/EditorView.baseTheme({
+  ".cm-panel.cm-search": {
+    padding: "2px 6px 4px",
+    position: "relative",
+    "& [name=close]": {
+      position: "absolute",
+      top: "0",
+      right: "4px",
+      backgroundColor: "inherit",
+      border: "none",
+      font: "inherit",
+      padding: 0,
+      margin: 0
+    },
+    "& input, & button, & label": {
+      margin: ".2em .6em .2em 0"
+    },
+    "& input[type=checkbox]": {
+      marginRight: ".2em"
+    },
+    "& label": {
+      fontSize: "80%",
+      whiteSpace: "pre"
+    }
+  },
+  "&light .cm-searchMatch": {
+    backgroundColor: "#ffff0054"
+  },
+  "&dark .cm-searchMatch": {
+    backgroundColor: "#00ffff8a"
+  },
+  "&light .cm-searchMatch-selected": {
+    backgroundColor: "#ff6a0054"
+  },
+  "&dark .cm-searchMatch-selected": {
+    backgroundColor: "#ff00ff8a"
+  }
+});
+const searchExtensions = [searchState, /*@__PURE__*/Prec.lowest(searchHighlighter), baseTheme$2];
+
+class SelectedDiagnostic {
+  constructor(from, to, diagnostic) {
+    this.from = from;
+    this.to = to;
+    this.diagnostic = diagnostic;
+  }
+}
+class LintState {
+  constructor(diagnostics, panel, selected) {
+    this.diagnostics = diagnostics;
+    this.panel = panel;
+    this.selected = selected;
+  }
+  static init(diagnostics, panel, state) {
+    // Filter the list of diagnostics for which to create markers
+    let markedDiagnostics = diagnostics;
+    let diagnosticFilter = state.facet(lintConfig).markerFilter;
+    if (diagnosticFilter) markedDiagnostics = diagnosticFilter(markedDiagnostics);
+    let ranges = Decoration.set(markedDiagnostics.map(d => {
+      // For zero-length ranges or ranges covering only a line break, create a widget
+      return d.from == d.to || d.from == d.to - 1 && state.doc.lineAt(d.from).to == d.from ? Decoration.widget({
+        widget: new DiagnosticWidget(d),
+        diagnostic: d
+      }).range(d.from) : Decoration.mark({
+        attributes: {
+          class: "cm-lintRange cm-lintRange-" + d.severity
+        },
+        diagnostic: d
+      }).range(d.from, d.to);
+    }), true);
+    return new LintState(ranges, panel, findDiagnostic(ranges));
+  }
+}
+function findDiagnostic(diagnostics, diagnostic = null, after = 0) {
+  let found = null;
+  diagnostics.between(after, 1e9, (from, to, {
+    spec
+  }) => {
+    if (diagnostic && spec.diagnostic != diagnostic) return;
+    found = new SelectedDiagnostic(from, to, spec.diagnostic);
+    return false;
+  });
+  return found;
+}
+function hideTooltip(tr, tooltip) {
+  return !!(tr.effects.some(e => e.is(setDiagnosticsEffect)) || tr.changes.touchesRange(tooltip.pos));
+}
+function maybeEnableLint(state, effects) {
+  return state.field(lintState, false) ? effects : effects.concat(StateEffect.appendConfig.of([lintState, EditorView.decorations.compute([lintState], state => {
+    let {
+      selected,
+      panel
+    } = state.field(lintState);
+    return !selected || !panel || selected.from == selected.to ? Decoration.none : Decoration.set([activeMark.range(selected.from, selected.to)]);
+  }), hoverTooltip(lintTooltip, {
+    hideOn: hideTooltip
+  }), baseTheme]));
+}
+/**
+Returns a transaction spec which updates the current set of
+diagnostics, and enables the lint extension if if wasn't already
+active.
+*/
+function setDiagnostics(state, diagnostics) {
+  return {
+    effects: maybeEnableLint(state, [setDiagnosticsEffect.of(diagnostics)])
+  };
+}
+/**
+The state effect that updates the set of active diagnostics. Can
+be useful when writing an extension that needs to track these.
+*/
+const setDiagnosticsEffect = /*@__PURE__*/StateEffect.define();
+const togglePanel = /*@__PURE__*/StateEffect.define();
+const movePanelSelection = /*@__PURE__*/StateEffect.define();
+const lintState = /*@__PURE__*/StateField.define({
+  create() {
+    return new LintState(Decoration.none, null, null);
+  },
+  update(value, tr) {
+    if (tr.docChanged) {
+      let mapped = value.diagnostics.map(tr.changes),
+        selected = null;
+      if (value.selected) {
+        let selPos = tr.changes.mapPos(value.selected.from, 1);
+        selected = findDiagnostic(mapped, value.selected.diagnostic, selPos) || findDiagnostic(mapped, null, selPos);
+      }
+      value = new LintState(mapped, value.panel, selected);
+    }
+    for (let effect of tr.effects) {
+      if (effect.is(setDiagnosticsEffect)) {
+        value = LintState.init(effect.value, value.panel, tr.state);
+      } else if (effect.is(togglePanel)) {
+        value = new LintState(value.diagnostics, effect.value ? LintPanel.open : null, value.selected);
+      } else if (effect.is(movePanelSelection)) {
+        value = new LintState(value.diagnostics, value.panel, effect.value);
+      }
+    }
+    return value;
+  },
+  provide: f => [showPanel.from(f, val => val.panel), EditorView.decorations.from(f, s => s.diagnostics)]
+});
+const activeMark = /*@__PURE__*/Decoration.mark({
+  class: "cm-lintRange cm-lintRange-active"
+});
+function lintTooltip(view, pos, side) {
+  let {
+    diagnostics
+  } = view.state.field(lintState);
+  let found = [],
+    stackStart = 2e8,
+    stackEnd = 0;
+  diagnostics.between(pos - (side < 0 ? 1 : 0), pos + (side > 0 ? 1 : 0), (from, to, {
+    spec
+  }) => {
+    if (pos >= from && pos <= to && (from == to || (pos > from || side > 0) && (pos < to || side < 0))) {
+      found.push(spec.diagnostic);
+      stackStart = Math.min(from, stackStart);
+      stackEnd = Math.max(to, stackEnd);
+    }
+  });
+  let diagnosticFilter = view.state.facet(lintConfig).tooltipFilter;
+  if (diagnosticFilter) found = diagnosticFilter(found);
+  if (!found.length) return null;
+  return {
+    pos: stackStart,
+    end: stackEnd,
+    above: view.state.doc.lineAt(stackStart).to < stackEnd,
+    create() {
+      return {
+        dom: diagnosticsTooltip(view, found)
+      };
+    }
+  };
+}
+function diagnosticsTooltip(view, diagnostics) {
+  return crelt("ul", {
+    class: "cm-tooltip-lint"
+  }, diagnostics.map(d => renderDiagnostic(view, d, false)));
+}
+/**
+Command to open and focus the lint panel.
+*/
+const openLintPanel = view => {
+  let field = view.state.field(lintState, false);
+  if (!field || !field.panel) view.dispatch({
+    effects: maybeEnableLint(view.state, [togglePanel.of(true)])
+  });
+  let panel = getPanel(view, LintPanel.open);
+  if (panel) panel.dom.querySelector(".cm-panel-lint ul").focus();
+  return true;
+};
+/**
+Command to close the lint panel, when open.
+*/
+const closeLintPanel = view => {
+  let field = view.state.field(lintState, false);
+  if (!field || !field.panel) return false;
+  view.dispatch({
+    effects: togglePanel.of(false)
+  });
+  return true;
+};
+/**
+Move the selection to the next diagnostic.
+*/
+const nextDiagnostic = view => {
+  let field = view.state.field(lintState, false);
+  if (!field) return false;
+  let sel = view.state.selection.main,
+    next = field.diagnostics.iter(sel.to + 1);
+  if (!next.value) {
+    next = field.diagnostics.iter(0);
+    if (!next.value || next.from == sel.from && next.to == sel.to) return false;
+  }
+  view.dispatch({
+    selection: {
+      anchor: next.from,
+      head: next.to
+    },
+    scrollIntoView: true
+  });
+  return true;
+};
+/**
+A set of default key bindings for the lint functionality.
+
+- Ctrl-Shift-m (Cmd-Shift-m on macOS): [`openLintPanel`](https://codemirror.net/6/docs/ref/#lint.openLintPanel)
+- F8: [`nextDiagnostic`](https://codemirror.net/6/docs/ref/#lint.nextDiagnostic)
+*/
+const lintKeymap = [{
+  key: "Mod-Shift-m",
+  run: openLintPanel,
+  preventDefault: true
+}, {
+  key: "F8",
+  run: nextDiagnostic
+}];
+const lintPlugin = /*@__PURE__*/ViewPlugin.fromClass(class {
+  constructor(view) {
+    this.view = view;
+    this.timeout = -1;
+    this.set = true;
+    let {
+      delay
+    } = view.state.facet(lintConfig);
+    this.lintTime = Date.now() + delay;
+    this.run = this.run.bind(this);
+    this.timeout = setTimeout(this.run, delay);
+  }
+  run() {
+    let now = Date.now();
+    if (now < this.lintTime - 10) {
+      setTimeout(this.run, this.lintTime - now);
+    } else {
+      this.set = false;
+      let {
+          state
+        } = this.view,
+        {
+          sources
+        } = state.facet(lintConfig);
+      Promise.all(sources.map(source => Promise.resolve(source(this.view)))).then(annotations => {
+        let all = annotations.reduce((a, b) => a.concat(b));
+        if (this.view.state.doc == state.doc) this.view.dispatch(setDiagnostics(this.view.state, all));
+      }, error => {
+        logException(this.view.state, error);
+      });
+    }
+  }
+  update(update) {
+    let config = update.state.facet(lintConfig);
+    if (update.docChanged || config != update.startState.facet(lintConfig)) {
+      this.lintTime = Date.now() + config.delay;
+      if (!this.set) {
+        this.set = true;
+        this.timeout = setTimeout(this.run, config.delay);
+      }
+    }
+  }
+  force() {
+    if (this.set) {
+      this.lintTime = Date.now();
+      this.run();
+    }
+  }
+  destroy() {
+    clearTimeout(this.timeout);
+  }
+});
+const lintConfig = /*@__PURE__*/Facet.define({
+  combine(input) {
+    return Object.assign({
+      sources: input.map(i => i.source)
+    }, combineConfig(input.map(i => i.config), {
+      delay: 750,
+      markerFilter: null,
+      tooltipFilter: null
+    }));
+  },
+  enables: lintPlugin
+});
+function assignKeys(actions) {
+  let assigned = [];
+  if (actions) actions: for (let {
+    name
+  } of actions) {
+    for (let i = 0; i < name.length; i++) {
+      let ch = name[i];
+      if (/[a-zA-Z]/.test(ch) && !assigned.some(c => c.toLowerCase() == ch.toLowerCase())) {
+        assigned.push(ch);
+        continue actions;
+      }
+    }
+    assigned.push("");
+  }
+  return assigned;
+}
+function renderDiagnostic(view, diagnostic, inPanel) {
+  var _a;
+  let keys = inPanel ? assignKeys(diagnostic.actions) : [];
+  return crelt("li", {
+    class: "cm-diagnostic cm-diagnostic-" + diagnostic.severity
+  }, crelt("span", {
+    class: "cm-diagnosticText"
+  }, diagnostic.renderMessage ? diagnostic.renderMessage() : diagnostic.message), (_a = diagnostic.actions) === null || _a === void 0 ? void 0 : _a.map((action, i) => {
+    let click = e => {
+      e.preventDefault();
+      let found = findDiagnostic(view.state.field(lintState).diagnostics, diagnostic);
+      if (found) action.apply(view, found.from, found.to);
+    };
+    let {
+        name
+      } = action,
+      keyIndex = keys[i] ? name.indexOf(keys[i]) : -1;
+    let nameElt = keyIndex < 0 ? name : [name.slice(0, keyIndex), crelt("u", name.slice(keyIndex, keyIndex + 1)), name.slice(keyIndex + 1)];
+    return crelt("button", {
+      type: "button",
+      class: "cm-diagnosticAction",
+      onclick: click,
+      onmousedown: click,
+      "aria-label": ` Action: ${name}${keyIndex < 0 ? "" : ` (access key "${keys[i]})"`}.`
+    }, nameElt);
+  }), diagnostic.source && crelt("div", {
+    class: "cm-diagnosticSource"
+  }, diagnostic.source));
+}
+class DiagnosticWidget extends WidgetType {
+  constructor(diagnostic) {
+    super();
+    this.diagnostic = diagnostic;
+  }
+  eq(other) {
+    return other.diagnostic == this.diagnostic;
+  }
+  toDOM() {
+    return crelt("span", {
+      class: "cm-lintPoint cm-lintPoint-" + this.diagnostic.severity
+    });
+  }
+}
+class PanelItem {
+  constructor(view, diagnostic) {
+    this.diagnostic = diagnostic;
+    this.id = "item_" + Math.floor(Math.random() * 0xffffffff).toString(16);
+    this.dom = renderDiagnostic(view, diagnostic, true);
+    this.dom.id = this.id;
+    this.dom.setAttribute("role", "option");
+  }
+}
+class LintPanel {
+  constructor(view) {
+    this.view = view;
+    this.items = [];
+    let onkeydown = event => {
+      if (event.keyCode == 27) {
+        // Escape
+        closeLintPanel(this.view);
+        this.view.focus();
+      } else if (event.keyCode == 38 || event.keyCode == 33) {
+        // ArrowUp, PageUp
+        this.moveSelection((this.selectedIndex - 1 + this.items.length) % this.items.length);
+      } else if (event.keyCode == 40 || event.keyCode == 34) {
+        // ArrowDown, PageDown
+        this.moveSelection((this.selectedIndex + 1) % this.items.length);
+      } else if (event.keyCode == 36) {
+        // Home
+        this.moveSelection(0);
+      } else if (event.keyCode == 35) {
+        // End
+        this.moveSelection(this.items.length - 1);
+      } else if (event.keyCode == 13) {
+        // Enter
+        this.view.focus();
+      } else if (event.keyCode >= 65 && event.keyCode <= 90 && this.selectedIndex >= 0) {
+        // A-Z
+        let {
+            diagnostic
+          } = this.items[this.selectedIndex],
+          keys = assignKeys(diagnostic.actions);
+        for (let i = 0; i < keys.length; i++) if (keys[i].toUpperCase().charCodeAt(0) == event.keyCode) {
+          let found = findDiagnostic(this.view.state.field(lintState).diagnostics, diagnostic);
+          if (found) diagnostic.actions[i].apply(view, found.from, found.to);
+        }
+      } else {
+        return;
+      }
+      event.preventDefault();
+    };
+    let onclick = event => {
+      for (let i = 0; i < this.items.length; i++) {
+        if (this.items[i].dom.contains(event.target)) this.moveSelection(i);
+      }
+    };
+    this.list = crelt("ul", {
+      tabIndex: 0,
+      role: "listbox",
+      "aria-label": this.view.state.phrase("Diagnostics"),
+      onkeydown,
+      onclick
+    });
+    this.dom = crelt("div", {
+      class: "cm-panel-lint"
+    }, this.list, crelt("button", {
+      type: "button",
+      name: "close",
+      "aria-label": this.view.state.phrase("close"),
+      onclick: () => closeLintPanel(this.view)
+    }, "×"));
+    this.update();
+  }
+  get selectedIndex() {
+    let selected = this.view.state.field(lintState).selected;
+    if (!selected) return -1;
+    for (let i = 0; i < this.items.length; i++) if (this.items[i].diagnostic == selected.diagnostic) return i;
+    return -1;
+  }
+  update() {
+    let {
+      diagnostics,
+      selected
+    } = this.view.state.field(lintState);
+    let i = 0,
+      needsSync = false,
+      newSelectedItem = null;
+    diagnostics.between(0, this.view.state.doc.length, (_start, _end, {
+      spec
+    }) => {
+      let found = -1,
+        item;
+      for (let j = i; j < this.items.length; j++) if (this.items[j].diagnostic == spec.diagnostic) {
+        found = j;
+        break;
+      }
+      if (found < 0) {
+        item = new PanelItem(this.view, spec.diagnostic);
+        this.items.splice(i, 0, item);
+        needsSync = true;
+      } else {
+        item = this.items[found];
+        if (found > i) {
+          this.items.splice(i, found - i);
+          needsSync = true;
+        }
+      }
+      if (selected && item.diagnostic == selected.diagnostic) {
+        if (!item.dom.hasAttribute("aria-selected")) {
+          item.dom.setAttribute("aria-selected", "true");
+          newSelectedItem = item;
+        }
+      } else if (item.dom.hasAttribute("aria-selected")) {
+        item.dom.removeAttribute("aria-selected");
+      }
+      i++;
+    });
+    while (i < this.items.length && !(this.items.length == 1 && this.items[0].diagnostic.from < 0)) {
+      needsSync = true;
+      this.items.pop();
+    }
+    if (this.items.length == 0) {
+      this.items.push(new PanelItem(this.view, {
+        from: -1,
+        to: -1,
+        severity: "info",
+        message: this.view.state.phrase("No diagnostics")
+      }));
+      needsSync = true;
+    }
+    if (newSelectedItem) {
+      this.list.setAttribute("aria-activedescendant", newSelectedItem.id);
+      this.view.requestMeasure({
+        key: this,
+        read: () => ({
+          sel: newSelectedItem.dom.getBoundingClientRect(),
+          panel: this.list.getBoundingClientRect()
+        }),
+        write: ({
+          sel,
+          panel
+        }) => {
+          if (sel.top < panel.top) this.list.scrollTop -= panel.top - sel.top;else if (sel.bottom > panel.bottom) this.list.scrollTop += sel.bottom - panel.bottom;
+        }
+      });
+    } else if (this.selectedIndex < 0) {
+      this.list.removeAttribute("aria-activedescendant");
+    }
+    if (needsSync) this.sync();
+  }
+  sync() {
+    let domPos = this.list.firstChild;
+    function rm() {
+      let prev = domPos;
+      domPos = prev.nextSibling;
+      prev.remove();
+    }
+    for (let item of this.items) {
+      if (item.dom.parentNode == this.list) {
+        while (domPos != item.dom) rm();
+        domPos = item.dom.nextSibling;
+      } else {
+        this.list.insertBefore(item.dom, domPos);
+      }
+    }
+    while (domPos) rm();
+  }
+  moveSelection(selectedIndex) {
+    if (this.selectedIndex < 0) return;
+    let field = this.view.state.field(lintState);
+    let selection = findDiagnostic(field.diagnostics, this.items[selectedIndex].diagnostic);
+    if (!selection) return;
+    this.view.dispatch({
+      selection: {
+        anchor: selection.from,
+        head: selection.to
+      },
+      scrollIntoView: true,
+      effects: movePanelSelection.of(selection)
+    });
+  }
+  static open(view) {
+    return new LintPanel(view);
+  }
+}
+function svg(content, attrs = `viewBox="0 0 40 40"`) {
+  return `url('data:image/svg+xml,<svg xmlns="http://www.w3.org/2000/svg" ${attrs}>${encodeURIComponent(content)}</svg>')`;
+}
+function underline(color) {
+  return svg(`<path d="m0 2.5 l2 -1.5 l1 0 l2 1.5 l1 0" stroke="${color}" fill="none" stroke-width=".7"/>`, `width="6" height="3"`);
+}
+const baseTheme = /*@__PURE__*/EditorView.baseTheme({
+  ".cm-diagnostic": {
+    padding: "3px 6px 3px 8px",
+    marginLeft: "-1px",
+    display: "block",
+    whiteSpace: "pre-wrap"
+  },
+  ".cm-diagnostic-error": {
+    borderLeft: "5px solid #d11"
+  },
+  ".cm-diagnostic-warning": {
+    borderLeft: "5px solid orange"
+  },
+  ".cm-diagnostic-info": {
+    borderLeft: "5px solid #999"
+  },
+  ".cm-diagnosticAction": {
+    font: "inherit",
+    border: "none",
+    padding: "2px 4px",
+    backgroundColor: "#444",
+    color: "white",
+    borderRadius: "3px",
+    marginLeft: "8px"
+  },
+  ".cm-diagnosticSource": {
+    fontSize: "70%",
+    opacity: .7
+  },
+  ".cm-lintRange": {
+    backgroundPosition: "left bottom",
+    backgroundRepeat: "repeat-x",
+    paddingBottom: "0.7px"
+  },
+  ".cm-lintRange-error": {
+    backgroundImage: /*@__PURE__*/underline("#d11")
+  },
+  ".cm-lintRange-warning": {
+    backgroundImage: /*@__PURE__*/underline("orange")
+  },
+  ".cm-lintRange-info": {
+    backgroundImage: /*@__PURE__*/underline("#999")
+  },
+  ".cm-lintRange-active": {
+    backgroundColor: "#ffdd9980"
+  },
+  ".cm-tooltip-lint": {
+    padding: 0,
+    margin: 0
+  },
+  ".cm-lintPoint": {
+    position: "relative",
+    "&:after": {
+      content: '""',
+      position: "absolute",
+      bottom: 0,
+      left: "-2px",
+      borderLeft: "3px solid transparent",
+      borderRight: "3px solid transparent",
+      borderBottom: "4px solid #d11"
+    }
+  },
+  ".cm-lintPoint-warning": {
+    "&:after": {
+      borderBottomColor: "orange"
+    }
+  },
+  ".cm-lintPoint-info": {
+    "&:after": {
+      borderBottomColor: "#999"
+    }
+  },
+  ".cm-panel.cm-panel-lint": {
+    position: "relative",
+    "& ul": {
+      maxHeight: "100px",
+      overflowY: "auto",
+      "& [aria-selected]": {
+        backgroundColor: "#ddd",
+        "& u": {
+          textDecoration: "underline"
+        }
+      },
+      "&:focus [aria-selected]": {
+        background_fallback: "#bdf",
+        backgroundColor: "Highlight",
+        color_fallback: "white",
+        color: "HighlightText"
+      },
+      "& u": {
+        textDecoration: "none"
+      },
+      padding: 0,
+      margin: 0
+    },
+    "& [name=close]": {
+      position: "absolute",
+      top: "0",
+      right: "2px",
+      background: "inherit",
+      border: "none",
+      font: "inherit",
+      padding: 0,
+      margin: 0
+    }
+  }
+});
+
+// (The superfluous function calls around the list of extensions work
+// around current limitations in tree-shaking software.)
+/**
+This is an extension value that just pulls together a number of
+extensions that you might want in a basic editor. It is meant as a
+convenient helper to quickly set up CodeMirror without installing
+and importing a lot of separate packages.
+
+Specifically, it includes...
+
+ - [the default command bindings](https://codemirror.net/6/docs/ref/#commands.defaultKeymap)
+ - [line numbers](https://codemirror.net/6/docs/ref/#view.lineNumbers)
+ - [special character highlighting](https://codemirror.net/6/docs/ref/#view.highlightSpecialChars)
+ - [the undo history](https://codemirror.net/6/docs/ref/#commands.history)
+ - [a fold gutter](https://codemirror.net/6/docs/ref/#language.foldGutter)
+ - [custom selection drawing](https://codemirror.net/6/docs/ref/#view.drawSelection)
+ - [drop cursor](https://codemirror.net/6/docs/ref/#view.dropCursor)
+ - [multiple selections](https://codemirror.net/6/docs/ref/#state.EditorState^allowMultipleSelections)
+ - [reindentation on input](https://codemirror.net/6/docs/ref/#language.indentOnInput)
+ - [the default highlight style](https://codemirror.net/6/docs/ref/#language.defaultHighlightStyle) (as fallback)
+ - [bracket matching](https://codemirror.net/6/docs/ref/#language.bracketMatching)
+ - [bracket closing](https://codemirror.net/6/docs/ref/#autocomplete.closeBrackets)
+ - [autocompletion](https://codemirror.net/6/docs/ref/#autocomplete.autocompletion)
+ - [rectangular selection](https://codemirror.net/6/docs/ref/#view.rectangularSelection) and [crosshair cursor](https://codemirror.net/6/docs/ref/#view.crosshairCursor)
+ - [active line highlighting](https://codemirror.net/6/docs/ref/#view.highlightActiveLine)
+ - [active line gutter highlighting](https://codemirror.net/6/docs/ref/#view.highlightActiveLineGutter)
+ - [selection match highlighting](https://codemirror.net/6/docs/ref/#search.highlightSelectionMatches)
+ - [search](https://codemirror.net/6/docs/ref/#search.searchKeymap)
+ - [linting](https://codemirror.net/6/docs/ref/#lint.lintKeymap)
+
+(You'll probably want to add some language package to your setup
+too.)
+
+This extension does not allow customization. The idea is that,
+once you decide you want to configure your editor more precisely,
+you take this package's source (which is just a bunch of imports
+and an array literal), copy it into your own code, and adjust it
+as desired.
+*/
+const basicSetup = /*@__PURE__*/(() => [lineNumbers(), highlightActiveLineGutter(), highlightSpecialChars(), history(), foldGutter(), drawSelection(), dropCursor(), EditorState.allowMultipleSelections.of(true), indentOnInput(), syntaxHighlighting(defaultHighlightStyle, {
+  fallback: true
+}), bracketMatching(), closeBrackets(), autocompletion(), rectangularSelection(), crosshairCursor(), highlightActiveLine(), highlightSelectionMatches(), keymap.of([...closeBracketsKeymap, ...defaultKeymap, ...searchKeymap, ...historyKeymap, ...foldKeymap, ...completionKeymap, ...lintKeymap])])();
+
 //partially based on https://github.com/logue/vue-codemirror6/blob/master/src/components/CodeMirror.vue
 var script = defineComponent({
   name: 'OrCode',