var i = Object.defineProperty;
var a = (n, e) => i(n, "name", { value: e, configurable: !0 });
import { WidgetType as o } from "../../../../../@codemirror_view@6.36.4/node_modules/@codemirror/view/dist/index.js";
class d extends o {
  static {
    a(this, "DefaultCycleWidget");
  }
  index;
  total;
  constructor(e, t) {
    super(), this.index = e, this.total = t;
  }
  toDOM() {
    const e = document.createElement("span");
    e.setAttribute("aria-hidden", "true"), e.className = "cm-codeium-cycle";
    const t = e.appendChild(document.createElement("span"));
    t.className = "cm-codeium-cycle-explanation", t.innerText = `${this.index + 1}/${this.total}`;
    const c = e.appendChild(document.createElement("button"));
    return c.className = "cm-codeium-cycle-key", c.innerText = "→ (Ctrl ])", c.dataset.action = "codeium-cycle", e;
  }
  ignoreEvent() {
    return !1;
  }
}
export {
  d as DefaultCycleWidget
};
