src/vs/workbench/contrib/notebook/browser/view/renderers/webviewPreloads.ts/JSHighlighter/unHighlightCurrentMatch
class JSHighlighter:		unHighlightCurrentMatch(index: number) {
			const oldMatch = this.matches[index];
			if (oldMatch && oldMatch.highlightResult) {
				oldMatch.highlightResult.update(matchColor, oldMatch.isShadow ? undefined : 'find-match');
			}
		}