code: function clearCurrentMatchHighlight(cm, state) {
          if (state.markedCurrent) {
              state.markedCurrent.clear();
              ScrollTrackMarkers.markCurrent(-1);
          }
      }
docs: Removes the current-match highlight, leaving all matches marked in the generic highlight style