diff options
author | bob <bcz@cs.brown.edu> | 2019-08-08 11:21:46 -0400 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2019-08-08 11:21:46 -0400 |
commit | 3110d85b7e1efab006a13824792b031f63dba8c8 (patch) | |
tree | 7afddc6804174a4b661e6801ecee0ef2981d352f /src | |
parent | 44a0bc3546eca5fa18f3599448ebcebf709e3f90 (diff) |
fixed unhighlighting tabs
Diffstat (limited to 'src')
-rw-r--r-- | src/client/views/collections/CollectionDockingView.tsx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/client/views/collections/CollectionDockingView.tsx b/src/client/views/collections/CollectionDockingView.tsx index feca66bc3..77b698a07 100644 --- a/src/client/views/collections/CollectionDockingView.tsx +++ b/src/client/views/collections/CollectionDockingView.tsx @@ -548,6 +548,7 @@ export class DockedFrameRenderer extends React.Component<DockedFrameProps> { private onActiveContentItemChanged() { if (this.props.glContainer.tab) { this._isActive = this.props.glContainer.tab.isActive; + !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. } } |