(enabled: boolean)
| 199 | } |
| 200 | |
| 201 | setDeepSearch(enabled: boolean): void { |
| 202 | if (this._deepSearch === enabled) return; |
| 203 | this._deepSearch = enabled; |
| 204 | this.trigger("updated"); |
| 205 | } |
| 206 | |
| 207 | setDeepSearchScope(scope: DeepSearchScope): void { |
| 208 | if (this._deepSearchScope === scope) return; |