src/vs/workbench/contrib/search/browser/searchWidget.ts/SearchWidget/setContextLines
class SearchWidget:	public setContextLines(lines: number) {
		if (!this.contextLinesInput) { return; }
		if (lines === 0) {
			this.showContextCheckbox.checked = false;
		} else {
			this.showContextCheckbox.checked = true;
			this.contextLinesInput.value = '' + lines;
		}
	}