diff options
| author | bobzel <zzzman@gmail.com> | 2020-08-25 15:05:59 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2020-08-25 15:05:59 -0400 |
| commit | eca69a005536dec7fcc129bf4fe7c16acb3c9275 (patch) | |
| tree | 069e3ec2409130383b56ac574b94f4c80cee1c74 /src/client/views/collections | |
| parent | 57458679ffe87302b46c64ffaa05f967c84623df (diff) | |
added resize handle for searchbox
Diffstat (limited to 'src/client/views/collections')
| -rw-r--r-- | src/client/views/collections/CollectionSchemaHeaders.tsx | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/client/views/collections/CollectionSchemaHeaders.tsx b/src/client/views/collections/CollectionSchemaHeaders.tsx index 03a213002..b2fdf376d 100644 --- a/src/client/views/collections/CollectionSchemaHeaders.tsx +++ b/src/client/views/collections/CollectionSchemaHeaders.tsx @@ -414,12 +414,9 @@ export class KeysDropdown extends React.Component<KeysDropdownProps> { } } const options = keyOptions.map(key => { - //Doc.setDocFilter(this.props.Document!, this._key, key, undefined); let bool = false; - console.log(filters); if (filters !== undefined) { bool = filters.includes(key) && filters[filters.indexOf(key) + 1] === "check"; - console.log(filters.includes(key)); } return <div key={key} className="key-option" style={{ border: "1px solid lightgray", paddingLeft: 5, textAlign: "left", |