src/search/FindReplace.js
function clearCurrentMatchHighlight(cm, state) {
        if (state.markedCurrent) {
            state.markedCurrent.clear();
            ScrollTrackMarkers.markCurrent(-1);
        }
    }
function clearCurrentMatchHighlight(cm, state) {
        if (state.markedCurrent) {
            state.markedCurrent.clear();
            ScrollTrackMarkers.markCurrent(-1);
        }
    }
function clearCurrentMatchHighlight ( cm , state ) { if ( state . markedCurrent ) { state . markedCurrent . clear ( ) ; ScrollTrackMarkers . markCurrent ( - 1 ) ; } }
Removes the current-match highlight, leaving all matches marked in the generic highlight style
Removes the current - match highlight leaving all matches marked in the generic highlight style