Function update

console/src/components/CommandBlock/highlightExt.ts:23–58

(decorations, transaction)

    return Decoration.none;
  },
  update(decorations, transaction) {
    decorations = decorations.map(transaction.changes);
    const highlights = [];
    for (const effect of transaction.effects) {
      if (!effect.is(setHighlight)) {
        continue;
      }
      const query = effect.value;
      if (query === "") {
        continue;
      }
      const pattern = new RegExp(escapeRegExp(query), "g");
      const cursor = transaction.startState.doc.iter();
      let position = 0;
      while (!cursor.next().done) {
        const line = cursor.value;
        let match;
        while ((match = pattern.exec(line))) {
          const from = position + match.index;
          const to = from + match[0].length;
          if (from - to === 0) {
            // We've got an empty match, bail on this line.
            break;
          }
          highlights.push(highlightMark.range(from, to));
        }
        position += line.length;
      }
    }
    decorations = decorations.update({
      add: highlights,
      // Clear the pre-existing highlights
      filter: () => false,
    });
    return decorations;
  },
  provide: (facet) => EditorView.decorations.from(facet),
});