src/vs/workbench/contrib/search/browser/searchWidget.ts/SearchWidget/modifyContextLines
class SearchWidget:	modifyContextLines(increase: boolean) {
		const current = +this.contextLinesInput.value;
		const modified = current + (increase ? 1 : -1);
		this.showContextToggle.checked = modified !== 0;
		this.contextLinesInput.value = '' + modified;
	}