diff options
| author | bobzel <zzzman@gmail.com> | 2020-08-07 20:34:20 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-07 20:34:20 -0400 |
| commit | 4754d0e2424a4246b9c6c519f8205d11721066c8 (patch) | |
| tree | 2bc6a036ec2142edba9117c887d924da3416498b /src/client/views/collections/CollectionView.tsx | |
| parent | b02cfed890d9d95a8f45bbc93d688bd3311dd387 (diff) | |
| parent | 6316971c51d327563ebb61d461325c7e9edbec24 (diff) | |
Merge pull request #508 from browngraphicslab/menu_restructure
Menu restructure
Diffstat (limited to 'src/client/views/collections/CollectionView.tsx')
| -rw-r--r-- | src/client/views/collections/CollectionView.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/collections/CollectionView.tsx b/src/client/views/collections/CollectionView.tsx index 4d1cb670c..837ae7e86 100644 --- a/src/client/views/collections/CollectionView.tsx +++ b/src/client/views/collections/CollectionView.tsx @@ -594,7 +594,7 @@ export class CollectionView extends Touchable<FieldViewProps & CollectionViewCus ""))} {(Doc.UserDoc()?.noviceMode || !this.props.isSelected() && !this.props.Document.forceActive) || this.props.Document.hideFilterView ? (null) : <div className="collectionView-filterDragger" title="library View Dragger" onPointerDown={this.onPointerDown} - style={{ right: this.facetWidth() - 1, top: this.props.Document._viewType === CollectionViewType.Docking ? "25%" : "55%" }} /> + style={{ right: this.facetWidth() - 1, top: this.props.Document._viewType === CollectionViewType.Docking ? "25%" : "60%" }} /> } {Doc.UserDoc()?.noviceMode || this.facetWidth() < 10 ? (null) : this.filterView} </div>); |
