@onereach/ui-components 6.2.0-beta.3281.0 → 6.2.0-beta.3286.0

package/dist/bundled/v2/{index-86927ce2.js → index-5ce3ef85.js}

@@ -1,6 +1,5 @@
-import { w as EditorView, F as Facet, o as combineConfig, k as StateField, E as EditorSelection, l as Transaction, b as ChangeSet, C as ChangeDesc, ai as IndentContext, aj as getIndentation, ak as indentString, T as Text, al as indentUnit, p as countColumn, am as getIndentUnit, A as Annotation, i as StateEffect, an as matchBrackets, ao as syntaxTree, ap as NodeProp, v as Direction, q as findClusterBreak, V as ViewPlugin, D as Decoration, m as codePointAt, s as fromCodePoint, n as codePointSize, N as getPanel, c as CharCategory, P as Prec, af as showPanel, g as RangeSetBuilder, e as EditorState, ad as runScopeHandlers, a7 as lineNumbers, $ as highlightActiveLineGutter, a0 as highlightSpecialChars, aq as foldGutter, J as drawSelection, K as dropCursor, ar as indentOnInput, as as syntaxHighlighting, at as defaultHighlightStyle, au as bracketMatching, ab as rectangularSelection, I as crosshairCursor, Z as highlightActiveLine, a4 as keymap, av as foldKeymap } from './index-8bffe4d5.js';
-import { c as crelt, b as lintKeymap } from './index-c6b2aeae.js';
-import { c as closeBrackets, a as autocompletion, b as closeBracketsKeymap, d as completionKeymap } from './index-14ee755d.js';
+import { E as EditorView, F as Facet, c as combineConfig, S as StateField, b as EditorSelection, T as Transaction, d as ChangeSet, e as ChangeDesc, I as IndentContext, g as getIndentation, i as indentString, f as Text, h as indentUnit, j as countColumn, l as getIndentUnit, A as Annotation, m as StateEffect, n as matchBrackets, s as syntaxTree, N as NodeProp, D as Direction, o as findClusterBreak, V as ViewPlugin, p as Decoration, q as codePointAt, r as codePointSize, t as getPanel, u as CharCategory, P as Prec, v as fromCodePoint, w as showPanel, R as RangeSetBuilder, a as EditorState, x as runScopeHandlers, y as hoverTooltip, z as logException, B as gutter, G as RangeSet, H as showTooltip, W as WidgetType, J as GutterMarker, K as lineNumbers, L as highlightActiveLineGutter, M as highlightSpecialChars, O as foldGutter, Q as drawSelection, U as dropCursor, X as indentOnInput, Y as syntaxHighlighting, Z as defaultHighlightStyle, _ as bracketMatching, $ as rectangularSelection, a0 as crosshairCursor, a1 as highlightActiveLine, k as keymap, a2 as foldKeymap } from './index-61aeae22.js';
+import { c as closeBrackets, a as autocompletion, b as closeBracketsKeymap, d as completionKeymap } from './index-c26082b9.js';
 
 /**
 Comment or uncomment the current selection. Will use line comments
@@ -1820,6 +1819,33 @@ const indentWithTab = {
   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
@@ -2583,14 +2609,14 @@ by running [`openSearchPanel`](https://codemirror.net/6/docs/ref/#search.openSea
 once).
 */
 const setSearchQuery = /*@__PURE__*/StateEffect.define();
-const togglePanel = /*@__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)) value = new SearchState(value.query, effect.value ? createSearchPanel : null);
+      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;
   },
@@ -2858,7 +2884,7 @@ const openSearchPanel = view => {
     }
   } else {
     view.dispatch({
-      effects: [togglePanel.of(true), state ? setSearchQuery.of(defaultQuery(view.state, state.query.spec)) : StateEffect.appendConfig.of(searchExtensions)]
+      effects: [togglePanel$1.of(true), state ? setSearchQuery.of(defaultQuery(view.state, state.query.spec)) : StateEffect.appendConfig.of(searchExtensions)]
     });
   }
   return true;
@@ -2872,7 +2898,7 @@ const closeSearchPanel = view => {
   let panel = getPanel(view, createSearchPanel);
   if (panel && panel.dom.contains(view.root.activeElement)) view.focus();
   view.dispatch({
-    effects: togglePanel.of(false)
+    effects: togglePanel$1.of(false)
   });
   return true;
 };
@@ -3059,7 +3085,7 @@ function announceMatch(view, _ref10) {
   }
   return EditorView.announce.of(`${view.state.phrase("current match")}. ${text} ${view.state.phrase("on line")} ${line.number}.`);
 }
-const baseTheme = /*@__PURE__*/EditorView.baseTheme({
+const baseTheme$2 = /*@__PURE__*/EditorView.baseTheme({
   ".cm-panel.cm-search": {
     padding: "2px 6px 4px",
     position: "relative",
@@ -3097,7 +3123,802 @@ const baseTheme = /*@__PURE__*/EditorView.baseTheme({
     backgroundColor: "#ff00ff8a"
   }
 });
-const searchExtensions = [searchState, /*@__PURE__*/Prec.lowest(searchHighlighter), baseTheme];
+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) {
+  let diagnostic = arguments.length > 1 && arguments[1] !== undefined ? arguments[1] : null;
+  let after = arguments.length > 2 && arguments[2] !== undefined ? arguments[2] : 0;
+  let found = null;
+  diagnostics.between(after, 1e9, (from, to, _ref) => {
+    let {
+      spec
+    } = _ref;
+    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(lintExtensions));
+}
+/**
+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, _ref2) => {
+    let {
+      spec
+    } = _ref2;
+    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) || config.needsRefresh && config.needsRefresh(update)) {
+      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,
+      needsRefresh: null
+    }, {
+      needsRefresh: (a, b) => !a ? b : !b ? a : u => a(u) || b(u)
+    }));
+  }
+});
+/**
+Given a diagnostic source, this function returns an extension that
+enables linting with that source. It will be called whenever the
+editor is idle (after its content changed).
+*/
+function linter(source) {
+  let config = arguments.length > 1 && arguments[1] !== undefined ? arguments[1] : {};
+  return [lintConfig.of({
+    source,
+    config
+  }), lintPlugin, lintExtensions];
+}
+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 fired = false,
+      click = e => {
+        e.preventDefault();
+        if (fired) return;
+        fired = true;
+        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, _ref3) => {
+      let {
+        spec
+      } = _ref3;
+      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: _ref4 => {
+          let {
+            sel,
+            panel
+          } = _ref4;
+          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) {
+  let attrs = arguments.length > 1 && arguments[1] !== undefined ? arguments[1] : `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",
+    cursor: "pointer"
+  },
+  ".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
+    }
+  }
+});
+class LintGutterMarker extends GutterMarker {
+  constructor(diagnostics) {
+    super();
+    this.diagnostics = diagnostics;
+    this.severity = diagnostics.reduce((max, d) => {
+      let s = d.severity;
+      return s == "error" || s == "warning" && max == "info" ? s : max;
+    }, "info");
+  }
+  toDOM(view) {
+    let elt = document.createElement("div");
+    elt.className = "cm-lint-marker cm-lint-marker-" + this.severity;
+    let diagnostics = this.diagnostics;
+    let diagnosticsFilter = view.state.facet(lintGutterConfig).tooltipFilter;
+    if (diagnosticsFilter) diagnostics = diagnosticsFilter(diagnostics);
+    if (diagnostics.length) elt.onmouseover = () => gutterMarkerMouseOver(view, elt, diagnostics);
+    return elt;
+  }
+}
+function trackHoverOn(view, marker) {
+  let mousemove = event => {
+    let rect = marker.getBoundingClientRect();
+    if (event.clientX > rect.left - 10 /* Hover.Margin */ && event.clientX < rect.right + 10 /* Hover.Margin */ && event.clientY > rect.top - 10 /* Hover.Margin */ && event.clientY < rect.bottom + 10 /* Hover.Margin */) return;
+    for (let target = event.target; target; target = target.parentNode) {
+      if (target.nodeType == 1 && target.classList.contains("cm-tooltip-lint")) return;
+    }
+    window.removeEventListener("mousemove", mousemove);
+    if (view.state.field(lintGutterTooltip)) view.dispatch({
+      effects: setLintGutterTooltip.of(null)
+    });
+  };
+  window.addEventListener("mousemove", mousemove);
+}
+function gutterMarkerMouseOver(view, marker, diagnostics) {
+  function hovered() {
+    let line = view.elementAtHeight(marker.getBoundingClientRect().top + 5 - view.documentTop);
+    const linePos = view.coordsAtPos(line.from);
+    if (linePos) {
+      view.dispatch({
+        effects: setLintGutterTooltip.of({
+          pos: line.from,
+          above: false,
+          create() {
+            return {
+              dom: diagnosticsTooltip(view, diagnostics),
+              getCoords: () => marker.getBoundingClientRect()
+            };
+          }
+        })
+      });
+    }
+    marker.onmouseout = marker.onmousemove = null;
+    trackHoverOn(view, marker);
+  }
+  let {
+    hoverTime
+  } = view.state.facet(lintGutterConfig);
+  let hoverTimeout = setTimeout(hovered, hoverTime);
+  marker.onmouseout = () => {
+    clearTimeout(hoverTimeout);
+    marker.onmouseout = marker.onmousemove = null;
+  };
+  marker.onmousemove = () => {
+    clearTimeout(hoverTimeout);
+    hoverTimeout = setTimeout(hovered, hoverTime);
+  };
+}
+function markersForDiagnostics(doc, diagnostics) {
+  let byLine = Object.create(null);
+  for (let diagnostic of diagnostics) {
+    let line = doc.lineAt(diagnostic.from);
+    (byLine[line.from] || (byLine[line.from] = [])).push(diagnostic);
+  }
+  let markers = [];
+  for (let line in byLine) {
+    markers.push(new LintGutterMarker(byLine[line]).range(+line));
+  }
+  return RangeSet.of(markers, true);
+}
+const lintGutterExtension = /*@__PURE__*/gutter({
+  class: "cm-gutter-lint",
+  markers: view => view.state.field(lintGutterMarkers)
+});
+const lintGutterMarkers = /*@__PURE__*/StateField.define({
+  create() {
+    return RangeSet.empty;
+  },
+  update(markers, tr) {
+    markers = markers.map(tr.changes);
+    let diagnosticFilter = tr.state.facet(lintGutterConfig).markerFilter;
+    for (let effect of tr.effects) {
+      if (effect.is(setDiagnosticsEffect)) {
+        let diagnostics = effect.value;
+        if (diagnosticFilter) diagnostics = diagnosticFilter(diagnostics || []);
+        markers = markersForDiagnostics(tr.state.doc, diagnostics.slice(0));
+      }
+    }
+    return markers;
+  }
+});
+const setLintGutterTooltip = /*@__PURE__*/StateEffect.define();
+const lintGutterTooltip = /*@__PURE__*/StateField.define({
+  create() {
+    return null;
+  },
+  update(tooltip, tr) {
+    if (tooltip && tr.docChanged) tooltip = hideTooltip(tr, tooltip) ? null : Object.assign(Object.assign({}, tooltip), {
+      pos: tr.changes.mapPos(tooltip.pos)
+    });
+    return tr.effects.reduce((t, e) => e.is(setLintGutterTooltip) ? e.value : t, tooltip);
+  },
+  provide: field => showTooltip.from(field)
+});
+const lintGutterTheme = /*@__PURE__*/EditorView.baseTheme({
+  ".cm-gutter-lint": {
+    width: "1.4em",
+    "& .cm-gutterElement": {
+      padding: ".2em"
+    }
+  },
+  ".cm-lint-marker": {
+    width: "1em",
+    height: "1em"
+  },
+  ".cm-lint-marker-info": {
+    content: /*@__PURE__*/svg(`<path fill="#aaf" stroke="#77e" stroke-width="6" stroke-linejoin="round" d="M5 5L35 5L35 35L5 35Z"/>`)
+  },
+  ".cm-lint-marker-warning": {
+    content: /*@__PURE__*/svg(`<path fill="#fe8" stroke="#fd7" stroke-width="6" stroke-linejoin="round" d="M20 6L37 35L3 35Z"/>`)
+  },
+  ".cm-lint-marker-error": {
+    content: /*@__PURE__*/svg(`<circle cx="20" cy="20" r="15" fill="#f87" stroke="#f43" stroke-width="6"/>`)
+  }
+});
+const lintExtensions = [lintState, /*@__PURE__*/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)]);
+}), /*@__PURE__*/hoverTooltip(lintTooltip, {
+  hideOn: hideTooltip
+}), baseTheme];
+const lintGutterConfig = /*@__PURE__*/Facet.define({
+  combine(configs) {
+    return combineConfig(configs, {
+      hoverTime: 300 /* Hover.Time */,
+      markerFilter: null,
+      tooltipFilter: null
+    });
+  }
+});
+/**
+Returns an extension that installs a gutter showing markers for
+each line that has diagnostics, which can be hovered over to see
+the diagnostics.
+*/
+function lintGutter() {
+  let config = arguments.length > 0 && arguments[0] !== undefined ? arguments[0] : {};
+  return [lintGutterConfig.of(config), lintGutterMarkers, lintGutterExtension, lintGutterTheme, lintGutterTooltip];
+}
 
 // (The superfluous function calls around the list of extensions work
 // around current limitations in tree-shaking software.)
@@ -3142,4 +3963,4 @@ const basicSetup = /*@__PURE__*/(() => [lineNumbers(), highlightActiveLineGutter
   fallback: true
 }), bracketMatching(), closeBrackets(), autocompletion(), rectangularSelection(), crosshairCursor(), highlightActiveLine(), highlightSelectionMatches(), keymap.of([...closeBracketsKeymap, ...defaultKeymap, ...searchKeymap, ...historyKeymap, ...foldKeymap, ...completionKeymap, ...lintKeymap])])();
 
-export { basicSetup as b, indentWithTab as i };
+export { lintGutter as a, basicSetup as b, indentWithTab as i, linter as l };