src/vs/base/browser/ui/findinput/replaceInput.ts/ReplaceInput/highlightFindOptions
class ReplaceInput:	public highlightFindOptions(): void {
		this.domNode.classList.remove('highlight-' + (this._lastHighlightFindOptions));
		this._lastHighlightFindOptions = 1 - this._lastHighlightFindOptions;
		this.domNode.classList.add('highlight-' + (this._lastHighlightFindOptions));
	}