Fixes #2010: Better management of enablement state in find widget

src/vs/base/browser/ui/findinput/findInput.ts

@@ -107,6 +107,14 @@ export class FindInput extends Widget {
 		this.caseSensitive.disable();
 	}
 
+	public setEnabled(enabled:boolean): void {
+		if (enabled) {
+			this.enable();
+		} else {
+			this.disable();
+		}
+	}
+
 	public clear(): void {
 		this.clearValidation();
 		this.setValue('');