@easyv/biz-components 1.0.30 → 2.1.0

package/dist/node_modules/.pnpm/@codemirror_lint@6.5.0/node_modules/@codemirror/lint/dist/index.es.js

@@ -1,703 +0,0 @@
-import { gutter, EditorView, ViewPlugin, hoverTooltip, showTooltip, logException, Decoration, showPanel, GutterMarker, WidgetType, getPanel } from "../../../../../@codemirror_view@6.38.0/node_modules/@codemirror/view/dist/index.es.js";
-import { Facet, StateField, combineConfig, StateEffect, RangeSet } from "../../../../../@codemirror_state@6.5.2/node_modules/@codemirror/state/dist/index.es.js";
-import crelt from "../../../../../crelt@1.0.6/node_modules/crelt/index.es.js";
-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) {
-    let markedDiagnostics = diagnostics;
-    let diagnosticFilter = state.facet(lintConfig).markerFilter;
-    if (diagnosticFilter)
-      markedDiagnostics = diagnosticFilter(markedDiagnostics, state);
-    let ranges = Decoration.set(markedDiagnostics.map((d) => {
-      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 + (d.markClass ? " " + d.markClass : "") },
-        diagnostic: d,
-        inclusive: true
-      }).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) {
-  let line = tr.startState.doc.lineAt(tooltip.pos);
-  return !!(tr.effects.some((e) => e.is(setDiagnosticsEffect)) || tr.changes.touchesRange(line.from, line.to));
-}
-function maybeEnableLint(state, effects) {
-  return state.field(lintState, false) ? effects : effects.concat(StateEffect.appendConfig.of(lintExtensions));
-}
-function setDiagnostics(state, diagnostics) {
-  return {
-    effects: maybeEnableLint(state, [setDiagnosticsEffect.of(diagnostics)])
-  };
-}
-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", inclusive: true });
-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, view.state);
-  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)));
-}
-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;
-};
-const closeLintPanel = (view) => {
-  let field = view.state.field(lintState, false);
-  if (!field || !field.panel)
-    return false;
-  view.dispatch({ effects: togglePanel.of(false) });
-  return true;
-};
-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;
-};
-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) {
-      this.timeout = setTimeout(this.run, this.lintTime - now);
-    } else {
-      this.set = false;
-      let { state } = this.view, { sources } = state.facet(lintConfig);
-      if (sources.length)
-        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).filter((x) => x != null) }, 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)
-    }));
-  }
-});
-function linter(source, config = {}) {
-  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() * 4294967295).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) {
-        closeLintPanel(this.view);
-        this.view.focus();
-      } else if (event.keyCode == 38 || event.keyCode == 33) {
-        this.moveSelection((this.selectedIndex - 1 + this.items.length) % this.items.length);
-      } else if (event.keyCode == 40 || event.keyCode == 34) {
-        this.moveSelection((this.selectedIndex + 1) % this.items.length);
-      } else if (event.keyCode == 36) {
-        this.moveSelection(0);
-      } else if (event.keyCode == 35) {
-        this.moveSelection(this.items.length - 1);
-      } else if (event.keyCode == 13) {
-        this.view.focus();
-      } else if (event.keyCode >= 65 && event.keyCode <= 90 && this.selectedIndex >= 0) {
-        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 }) => {
-          let scaleY = panel.height / this.list.offsetHeight;
-          if (sel.top < panel.top)
-            this.list.scrollTop -= (panel.top - sel.top) / scaleY;
-          else if (sel.bottom > panel.bottom)
-            this.list.scrollTop += (sel.bottom - panel.bottom) / scaleY;
-        }
-      });
-    } 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-diagnostic-hint": { borderLeft: "5px solid #66d" },
-  ".cm-diagnosticAction": {
-    font: "inherit",
-    border: "none",
-    padding: "2px 4px",
-    backgroundColor: "#444",
-    color: "white",
-    borderRadius: "3px",
-    marginLeft: "8px",
-    cursor: "pointer"
-  },
-  ".cm-diagnosticSource": {
-    fontSize: "70%",
-    opacity: 0.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-hint": { backgroundImage: /* @__PURE__ */ underline("#66d") },
-  ".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-lintPoint-hint": {
-    "&:after": { borderBottomColor: "#66d" }
-  },
-  ".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
-    }
-  }
-});
-function severityWeight(sev) {
-  return sev == "error" ? 4 : sev == "warning" ? 3 : sev == "info" ? 2 : 1;
-}
-class LintGutterMarker extends GutterMarker {
-  constructor(diagnostics) {
-    super();
-    this.diagnostics = diagnostics;
-    this.severity = diagnostics.reduce((max, d) => severityWeight(max) < severityWeight(d.severity) ? d.severity : max, "hint");
-  }
-  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, view.state);
-    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 && event.clientX < rect.right + 10 && event.clientY > rect.top - 10 && event.clientY < rect.bottom + 10)
-      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 = /* @__PURE__ */ 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 || [], tr.state);
-        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,
-      markerFilter: null,
-      tooltipFilter: null
-    });
-  }
-});
-function lintGutter(config = {}) {
-  return [lintGutterConfig.of(config), lintGutterMarkers, lintGutterExtension, lintGutterTheme, lintGutterTooltip];
-}
-export {
-  closeLintPanel,
-  lintGutter,
-  lintKeymap,
-  linter,
-  nextDiagnostic,
-  openLintPanel,
-  setDiagnostics,
-  setDiagnosticsEffect
-};
-//# sourceMappingURL=index.es.js.map