Fix also the case when the find widget is open

This commit is contained in:
Alex Dima 2018-03-01 11:25:29 +01:00
parent c994f3ddee
commit 6d3956c515

View file

@ -228,6 +228,9 @@ export class CommonFindController extends Disposable implements editorCommon.IEd
}
public setSearchString(searchString: string): void {
if (this._state.isRegex) {
searchString = strings.escapeRegExpCharacters(searchString);
}
this._state.change({ searchString: searchString }, false);
}