diff options
| author | HJF Bulterman <henri_bulterman@brown.edu> | 2019-08-09 15:37:49 -0400 |
|---|---|---|
| committer | HJF Bulterman <henri_bulterman@brown.edu> | 2019-08-09 15:37:49 -0400 |
| commit | 0af800d2edf120ab2a20842ed67ea7d7616996b9 (patch) | |
| tree | ee98117d5d1cf1d4a6d7ec9325e5a2dad8a482c0 /src/client/views/collections/CollectionDockingView.tsx | |
| parent | ae62e415d18b83fb1ef6b4a8f438b1d7e8d3157a (diff) | |
working for about 85%
Diffstat (limited to 'src/client/views/collections/CollectionDockingView.tsx')
| -rw-r--r-- | src/client/views/collections/CollectionDockingView.tsx | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/client/views/collections/CollectionDockingView.tsx b/src/client/views/collections/CollectionDockingView.tsx index 1859ebee7..bd83a46a3 100644 --- a/src/client/views/collections/CollectionDockingView.tsx +++ b/src/client/views/collections/CollectionDockingView.tsx @@ -162,6 +162,14 @@ export class CollectionDockingView extends React.Component<SubCollectionViewProp this.stateChanged(); } + public Has = (document: Doc) => { + let docs = Cast(this.props.Document.data, listSpec(Doc)); + if (!docs) { + return false; + } + return docs.includes(document); + } + // // Creates a vertical split on the right side of the docking view, and then adds the Document to that split // @@ -525,6 +533,7 @@ export class DockedFrameRenderer extends React.Component<DockedFrameProps> { this.props.glContainer.layoutManager.on("activeContentItemChanged", this.onActiveContentItemChanged); this.props.glContainer.on("tab", this.onActiveContentItemChanged); this.onActiveContentItemChanged(); + // setTimeout(() => MainView.Instance.openPresentationView(), 2000); } componentWillUnmount() { |
