diff options
| author | bobzel <zzzman@gmail.com> | 2020-08-03 11:26:17 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2020-08-03 11:26:17 -0400 |
| commit | 48a65994e75fc0f2aaeb96807e8a4f58ff3e3968 (patch) | |
| tree | 430c45985cd266dd8f2f556f4cfb858952c42032 /src/client/views/collections/CollectionDockingView.tsx | |
| parent | 9d2204b09a88315f4bb294dce3043a87e14ae45f (diff) | |
restored button next to tab for dragging document & changed tab view
Diffstat (limited to 'src/client/views/collections/CollectionDockingView.tsx')
| -rw-r--r-- | src/client/views/collections/CollectionDockingView.tsx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/client/views/collections/CollectionDockingView.tsx b/src/client/views/collections/CollectionDockingView.tsx index 95b68a17d..533c8bffe 100644 --- a/src/client/views/collections/CollectionDockingView.tsx +++ b/src/client/views/collections/CollectionDockingView.tsx @@ -770,6 +770,10 @@ export class DockedFrameRenderer extends React.Component<DockedFrameProps> { private onActiveContentItemChanged() { if (this.props.glContainer.tab) { this._isActive = this.props.glContainer.tab.isActive; + setTimeout(() => { + const dv = this._document && DocumentManager.Instance.getFirstDocumentView(this._document); + dv && SelectionManager.SelectDoc(dv, false); + }); !this._isActive && this._document && Doc.UnBrushDoc(this._document); // bcz: bad -- trying to simulate a pointer leave event when a new tab is opened up on top of an existing one. } } |
