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;
    }
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;
    }
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 ; }
Clears all match highlights, including the current match
Clears all match highlights including the current match
Clear all highlights