diff options
author | bob <bcz@cs.brown.edu> | 2019-05-03 10:58:12 -0400 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2019-05-03 10:58:12 -0400 |
commit | 26b0374d87ef1b14d947d5882f73e67b8607436e (patch) | |
tree | 39047f4666b8d06a67b037219c7d620eba934a3f /src/client/views/nodes/CollectionFreeFormDocumentView.tsx | |
parent | ee6842b6509264f402217fcd214fa4dc167d985e (diff) |
changes to icon box and decorations.
Diffstat (limited to 'src/client/views/nodes/CollectionFreeFormDocumentView.tsx')
-rw-r--r-- | src/client/views/nodes/CollectionFreeFormDocumentView.tsx | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/client/views/nodes/CollectionFreeFormDocumentView.tsx b/src/client/views/nodes/CollectionFreeFormDocumentView.tsx index 09f9c8516..53298fbdd 100644 --- a/src/client/views/nodes/CollectionFreeFormDocumentView.tsx +++ b/src/client/views/nodes/CollectionFreeFormDocumentView.tsx @@ -112,10 +112,11 @@ export class CollectionFreeFormDocumentView extends DocComponent<CollectionFreeF public toggleIcon = async (): Promise<void> => { SelectionManager.DeselectAll(); let isMinimized: boolean | undefined; - let minimizedDocSet = Cast(this.props.Document.linkTags, listSpec(Doc)); - if (!minimizedDocSet) return; + let minimizedDocSet = Cast(this.props.Document.linkedIconTags, listSpec(Doc), []); let docs = minimizedDocSet.map(d => d); - docs.push(this.props.Document); + let minimDoc = Cast(this.props.Document.minimizedDoc, Doc); + if (minimDoc instanceof Doc) docs.push(minimDoc); + else docs.push(this.props.Document); docs.map(async minimizedDoc => { this.props.addDocument && this.props.addDocument(minimizedDoc, false); let maximizedDoc = await Cast(minimizedDoc.maximizedDoc, Doc); @@ -125,6 +126,7 @@ export class CollectionFreeFormDocumentView extends DocComponent<CollectionFreeF let maximizedDocMinimizedState = Cast(maximizedDoc.isMinimized, "boolean"); isMinimized = (maximizedDocMinimizedState) ? true : false; } + if (isMinimized) this.props.bringToFront(maximizedDoc); let minx = NumCast(minimizedDoc.x, undefined); let miny = NumCast(minimizedDoc.y, undefined); let maxx = NumCast(maximizedDoc.x, undefined); |