'use strict'; var view = require('@codemirror/view'); var state = require('@codemirror/state'); var elt = require('crelt'); 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 state.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 = state.fromCodePoint(next), start = this.bufferStart + this.bufferPos; this.bufferPos += state.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, this.bufferPos + this.bufferStart); if (i == norm.length - 1) { if (match) { this.value = match; return this; } break; } if (pos == start && i < str.length && str.charCodeAt(i) == code) pos++; } } } match(code, pos, end) { 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: end }; } 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: end }; else this.matches.push(1, pos); } if (match && this.test && !this.test(match.from, match.to, this.buffer, this.bufferStart)) match = null; return match; } } if (typeof Symbol != "undefined") SearchCursor.prototype[Symbol.iterator] = function () { return this; }; const empty = { from: -1, to: -1, match: /.*/.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 = 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$1) { let line = String(view$1.state.doc.lineAt(view$1.state.selection.main.head).number); let input = elt("input", { class: "cm-textfield", name: "line", value: line }); let dom = elt("form", { class: "cm-gotoLine", onkeydown: (event) => { if (event.keyCode == 27) { // Escape event.preventDefault(); view$1.dispatch({ effects: dialogEffect.of(false) }); view$1.focus(); } else if (event.keyCode == 13) { // Enter event.preventDefault(); go(); } }, onsubmit: (event) => { event.preventDefault(); go(); } }, elt("label", view$1.state.phrase("Go to line"), ": ", input), " ", elt("button", { class: "cm-button", type: "submit" }, view$1.state.phrase("go"))); function go() { let match = /^([+-])?(\d+)?(:\d+)?(%)?$/.exec(input.value); if (!match) return; let { state: state$1 } = view$1, startLine = state$1.doc.lineAt(state$1.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$1.doc.lines); line = Math.round(state$1.doc.lines * pc); } else if (ln && sign) { line = line * (sign == "-" ? -1 : 1) + startLine.number; } let docLine = state$1.doc.line(Math.max(1, Math.min(state$1.doc.lines, line))); let selection = state.EditorSelection.cursor(docLine.from + Math.max(0, Math.min(col, docLine.length))); view$1.dispatch({ effects: [dialogEffect.of(false), view.EditorView.scrollIntoView(selection.from, { y: 'center' })], selection, }); view$1.focus(); } return { dom }; } const dialogEffect = state.StateEffect.define(); const dialogField = state.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 => view.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. */ const gotoLine = view$1 => { let panel = view.getPanel(view$1, createLineDialog); if (!panel) { let effects = [dialogEffect.of(true)]; if (view$1.state.field(dialogField, false) == null) effects.push(state.StateEffect.appendConfig.of([dialogField, baseTheme$1])); view$1.dispatch({ effects }); panel = view.getPanel(view$1, createLineDialog); } if (panel) panel.dom.querySelector("input").select(); return true; }; const baseTheme$1 = view.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 = state.Facet.define({ combine(options) { return state.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 = view.Decoration.mark({ class: "cm-selectionMatch" }); const mainMatchDeco = view.Decoration.mark({ class: "cm-selectionMatch cm-selectionMatch-main" }); // Whether the characters directly outside the given positions are non-word characters function insideWordBoundaries(check, state$1, from, to) { return (from == 0 || check(state$1.sliceDoc(from - 1, from)) != state.CharCategory.Word) && (to == state$1.doc.length || check(state$1.sliceDoc(to, to + 1)) != state.CharCategory.Word); } // Whether the characters directly at the given positions are word characters function insideWord(check, state$1, from, to) { return check(state$1.sliceDoc(from, from + 1)) == state.CharCategory.Word && check(state$1.sliceDoc(to - 1, to)) == state.CharCategory.Word; } const matchHighlighter = view.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$1) { let conf = view$1.state.facet(highlightConfig); let { state } = view$1, sel = state.selection; if (sel.ranges.length > 1) return view.Decoration.none; let range = sel.main, query, check = null; if (range.empty) { if (!conf.highlightWordAroundCursor) return view.Decoration.none; let word = state.wordAt(range.head); if (!word) return view.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 view.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 view.Decoration.none; } else { query = state.sliceDoc(range.from, range.to); if (!query) return view.Decoration.none; } } let deco = []; for (let part of view$1.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 view.Decoration.none; } } } return view.Decoration.set(deco); } }, { decorations: v => v.decorations }); const defaultTheme = view.EditorView.baseTheme({ ".cm-selectionMatch": { backgroundColor: "#99ff7780" }, ".cm-searchMatch .cm-selectionMatch": { backgroundColor: "transparent" } }); // Select the words around the cursors. const selectWord = ({ state: state$1, dispatch }) => { let { selection } = state$1; let newSel = state.EditorSelection.create(selection.ranges.map(range => state$1.wordAt(range.head) || state.EditorSelection.cursor(range.head)), selection.mainIndex); if (newSel.eq(selection)) return false; dispatch(state$1.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: state$1, dispatch }) => { let { ranges } = state$1.selection; if (ranges.some(sel => sel.from === sel.to)) return selectWord({ state: state$1, dispatch }); let searchedText = state$1.sliceDoc(ranges[0].from, ranges[0].to); if (state$1.selection.ranges.some(r => state$1.sliceDoc(r.from, r.to) != searchedText)) return false; let range = findNextOccurrence(state$1, searchedText); if (!range) return false; dispatch(state$1.update({ selection: state$1.selection.addRange(state.EditorSelection.range(range.from, range.to), false), effects: view.EditorView.scrollIntoView(range.to) })); return true; }; const searchConfigFacet = state.Facet.define({ combine(configs) { return state.combineConfig(configs, { top: false, caseSensitive: false, literal: false, regexp: false, wholeWord: false, createPanel: view => new SearchPanel(view), scrollToMatch: range => view.EditorView.scrollIntoView(range) }); } }); /** Add search state to the editor configuration, and optionally configure the search extension. ([`openSearchPanel`](https://codemirror.net/6/docs/ref/#search.openSearchPanel) will automatically enable this if it isn't already on). */ function search(config) { return config ? [searchConfigFacet.of(config), searchExtensions] : searchExtensions; } /** 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$1, from = 0, to) { let st = state$1.doc ? state$1 : state.EditorState.create({ doc: state$1 }); 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)) != state.CharCategory.Word || categorizer(charAfter(buf, from - bufPos)) != state.CharCategory.Word) && (categorizer(charAfter(buf, to - bufPos)) != state.CharCategory.Word || categorizer(charBefore(buf, to - bufPos)) != state.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 an 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(state.findClusterBreak(str, index, false), index); } function charAfter(str, index) { return str.slice(index, state.findClusterBreak(str, index)); } function regexpWordTest(categorizer) { return (_from, _to, match) => !match[0].length || (categorizer(charBefore(match.input, match.index)) != state.CharCategory.Word || categorizer(charAfter(match.input, match.index)) != state.CharCategory.Word) && (categorizer(charAfter(match.input, match.index + match[0].length)) != state.CharCategory.Word || categorizer(charBefore(match.input, match.index + match[0].length)) != state.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 = state.StateEffect.define(); const togglePanel = state.StateEffect.define(); const searchState = state.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); } return value; }, provide: f => view.showPanel.from(f, val => val.panel) }); /** Get the current search query from an editor state. */ function getSearchQuery(state) { let curState = state.field(searchState, false); return curState ? curState.query.spec : defaultQuery(state); } /** Query whether the search panel is open in the given editor state. */ function searchPanelOpen(state) { var _a; return ((_a = state.field(searchState, false)) === null || _a === void 0 ? void 0 : _a.panel) != null; } class SearchState { constructor(query, panel) { this.query = query; this.panel = panel; } } const matchMark = view.Decoration.mark({ class: "cm-searchMatch" }), selectedMatchMark = view.Decoration.mark({ class: "cm-searchMatch cm-searchMatch-selected" }); const searchHighlighter = view.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 view.Decoration.none; let { view: view$1 } = this; let builder = new state.RangeSetBuilder(); for (let i = 0, ranges = view$1.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$1.state, from, to, (from, to) => { let selected = view$1.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 = searchCommand((view, { query }) => { let { to } = view.state.selection.main; let next = query.nextMatch(view.state, to, to); if (!next) return false; let selection = state.EditorSelection.single(next.from, next.to); let config = view.state.facet(searchConfigFacet); view.dispatch({ selection, effects: [announceMatch(view, next), config.scrollToMatch(selection.main, view)], userEvent: "select.search" }); selectSearchInput(view); 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 = searchCommand((view, { query }) => { let { state: state$1 } = view, { from } = state$1.selection.main; let prev = query.prevMatch(state$1, from, from); if (!prev) return false; let selection = state.EditorSelection.single(prev.from, prev.to); let config = view.state.facet(searchConfigFacet); view.dispatch({ selection, effects: [announceMatch(view, prev), config.scrollToMatch(selection.main, view)], userEvent: "select.search" }); selectSearchInput(view); return true; }); /** Select all instances of the search query. */ const selectMatches = searchCommand((view, { query }) => { let ranges = query.matchAll(view.state, 1000); if (!ranges || !ranges.length) return false; view.dispatch({ selection: state.EditorSelection.create(ranges.map(r => state.EditorSelection.range(r.from, r.to))), userEvent: "select.search.matches" }); return true; }); /** Select all instances of the currently selected text. */ const selectSelectionMatches = ({ state: state$1, dispatch }) => { let sel = state$1.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$1.doc, state$1.sliceDoc(from, to)); !cur.next().done;) { if (ranges.length > 1000) return false; if (cur.value.from == from) main = ranges.length; ranges.push(state.EditorSelection.range(cur.value.from, cur.value.to)); } dispatch(state$1.update({ selection: state.EditorSelection.create(ranges, main), userEvent: "select.search.matches" })); return true; }; /** Replace the current match of the search query. */ const replaceNext = searchCommand((view$1, { query }) => { let { state: state$1 } = view$1, { from, to } = state$1.selection.main; if (state$1.readOnly) return false; let next = query.nextMatch(state$1, from, from); if (!next) return false; let changes = [], selection, replacement; let effects = []; if (next.from == from && next.to == to) { replacement = state$1.toText(query.getReplacement(next)); changes.push({ from: next.from, to: next.to, insert: replacement }); next = query.nextMatch(state$1, next.from, next.to); effects.push(view.EditorView.announce.of(state$1.phrase("replaced match on line $", state$1.doc.lineAt(from).number) + ".")); } if (next) { let off = changes.length == 0 || changes[0].from >= next.to ? 0 : next.to - next.from - replacement.length; selection = state.EditorSelection.single(next.from - off, next.to - off); effects.push(announceMatch(view$1, next)); effects.push(state$1.facet(searchConfigFacet).scrollToMatch(selection.main, view$1)); } view$1.dispatch({ changes, selection, effects, userEvent: "input.replace" }); return true; }); /** Replace all instances of the search query with the given replacement. */ const replaceAll = searchCommand((view$1, { query }) => { if (view$1.state.readOnly) return false; let changes = query.matchAll(view$1.state, 1e9).map(match => { let { from, to } = match; return { from, to, insert: query.getReplacement(match) }; }); if (!changes.length) return false; let announceText = view$1.state.phrase("replaced $ matches", changes.length) + "."; view$1.dispatch({ changes, effects: view.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, _e; 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, regexp: (_d = fallback === null || fallback === void 0 ? void 0 : fallback.regexp) !== null && _d !== void 0 ? _d : config.regexp, wholeWord: (_e = fallback === null || fallback === void 0 ? void 0 : fallback.wholeWord) !== null && _e !== void 0 ? _e : config.wholeWord }); } function getSearchInput(view$1) { let panel = view.getPanel(view$1, createSearchPanel); return panel && panel.dom.querySelector("[main-field]"); } function selectSearchInput(view) { let input = getSearchInput(view); if (input && input == view.root.activeElement) input.select(); } /** Make sure the search panel is open and focused. */ const openSearchPanel = view => { let state$1 = view.state.field(searchState, false); if (state$1 && state$1.panel) { let searchInput = getSearchInput(view); if (searchInput && searchInput != view.root.activeElement) { let query = defaultQuery(view.state, state$1.query.spec); if (query.valid) view.dispatch({ effects: setSearchQuery.of(query) }); searchInput.focus(); searchInput.select(); } } else { view.dispatch({ effects: [ togglePanel.of(true), state$1 ? setSearchQuery.of(defaultQuery(view.state, state$1.query.spec)) : state.StateEffect.appendConfig.of(searchExtensions) ] }); } return true; }; /** Close the search panel. */ const closeSearchPanel = view$1 => { let state = view$1.state.field(searchState, false); if (!state || !state.panel) return false; let panel = view.getPanel(view$1, createSearchPanel); if (panel && panel.dom.contains(view$1.root.activeElement)) view$1.focus(); view$1.dispatch({ effects: togglePanel.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) - Mod-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: "Mod-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 = elt("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 = elt("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 = elt("input", { type: "checkbox", name: "case", form: "", checked: query.caseSensitive, onchange: this.commit }); this.reField = elt("input", { type: "checkbox", name: "re", form: "", checked: query.regexp, onchange: this.commit }); this.wordField = elt("input", { type: "checkbox", name: "word", form: "", checked: query.wholeWord, onchange: this.commit }); function button(name, onclick, content) { return elt("button", { class: "cm-button", name, onclick, type: "button" }, content); } this.dom = elt("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")]), elt("label", null, [this.caseField, phrase(view, "match case")]), elt("label", null, [this.reField, phrase(view, "regexp")]), elt("label", null, [this.wordField, phrase(view, "by word")]), ...view.state.readOnly ? [] : [ elt("br"), this.replaceField, button("replace", () => replaceNext(view), [phrase(view, "replace")]), button("replaceAll", () => replaceAll(view), [phrase(view, "replace all")]) ], elt("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 (view.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$1, { from, to }) { let line = view$1.state.doc.lineAt(from), lineEnd = view$1.state.doc.lineAt(to).to; let start = Math.max(line.from, from - AnnounceMargin), end = Math.min(lineEnd, to + AnnounceMargin); let text = view$1.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 view.EditorView.announce.of(`${view$1.state.phrase("current match")}. ${text} ${view$1.state.phrase("on line")} ${line.number}.`); } const baseTheme = view.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, state.Prec.low(searchHighlighter), baseTheme ]; exports.RegExpCursor = RegExpCursor; exports.SearchCursor = SearchCursor; exports.SearchQuery = SearchQuery; exports.closeSearchPanel = closeSearchPanel; exports.findNext = findNext; exports.findPrevious = findPrevious; exports.getSearchQuery = getSearchQuery; exports.gotoLine = gotoLine; exports.highlightSelectionMatches = highlightSelectionMatches; exports.openSearchPanel = openSearchPanel; exports.replaceAll = replaceAll; exports.replaceNext = replaceNext; exports.search = search; exports.searchKeymap = searchKeymap; exports.searchPanelOpen = searchPanelOpen; exports.selectMatches = selectMatches; exports.selectNextOccurrence = selectNextOccurrence; exports.selectSelectionMatches = selectSelectionMatches; exports.setSearchQuery = setSearchQuery;