code: function clearHighlights(cm, state) {
          cm.operation(function () {
              state.marked.forEach(function (markedRange) {
                  markedRange.clear();
              });
              clearCurrentMatchHighlight(cm, state);
          });
          state.marked.length = 0;
          state.markedCurrent = null;
  
          ScrollTrackMarkers.clear();
  
          state.resultSet = [];
          state.matchIndex = -1;
      }
docs: Clears all match highlights, including the current match