src/vs/workbench/contrib/search/common/searchModel.ts/RangeHighlightDecorations/removeHighlightRange
class RangeHighlightDecorations:	removeHighlightRange() {
		if (this._model && this._decorationId) {
			this._model.deltaDecorations([this._decorationId], []);
		}
		this._decorationId = null;
	}