diff options
| author | bobzel <zzzman@gmail.com> | 2020-08-19 22:39:51 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2020-08-19 22:39:51 -0400 |
| commit | da8901bef2d4a0362354c69fe486076a67f8efc4 (patch) | |
| tree | 35825255e04ba892b570a614a6d4449d8d87d659 /src/client/views/collections/CollectionSchemaHeaders.tsx | |
| parent | 5b7d51d47a967e679d17560771efe71522ada13a (diff) | |
cleaning lint errors
Diffstat (limited to 'src/client/views/collections/CollectionSchemaHeaders.tsx')
| -rw-r--r-- | src/client/views/collections/CollectionSchemaHeaders.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/collections/CollectionSchemaHeaders.tsx b/src/client/views/collections/CollectionSchemaHeaders.tsx index 73f319e9b..34a8bfa24 100644 --- a/src/client/views/collections/CollectionSchemaHeaders.tsx +++ b/src/client/views/collections/CollectionSchemaHeaders.tsx @@ -275,7 +275,7 @@ export class KeysDropdown extends React.Component<KeysDropdownProps> { document.removeEventListener("pointerdown", this.detectClick); const filters = Cast(this.props.Document._docFilters, listSpec("string")); if (filters?.includes(this._key)) { - runInAction(() => { this.closeResultsVisibility = "contents" }); + runInAction(() => this.closeResultsVisibility = "contents"); } } |