src/vs/workbench/contrib/search/common/searchModel.ts/RangeHighlightDecorations/removeHighlightRange
class RangeHighlightDecorations:	removeHighlightRange() {
		if (this._model && this._decorationId) {
			const decorationId = this._decorationId;
			this._model.changeDecorations((accessor) => {
				accessor.removeDecoration(decorationId);
			});
		}
		this._decorationId = null;
	}