diff options
author | bob <bcz@cs.brown.edu> | 2019-10-08 14:07:32 -0400 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2019-10-08 14:07:32 -0400 |
commit | 84211163c9f085a521b3ca3af0dc9103640e3622 (patch) | |
tree | f9b6852e32bb1dbad4686ffc496afea656a366fc /src/client/util/DocumentManager.ts | |
parent | de0b723551eb033f7ad1999dd23309b4f306f344 (diff) |
cleaned up tagging of text spans with data and timestamps
Diffstat (limited to 'src/client/util/DocumentManager.ts')
-rw-r--r-- | src/client/util/DocumentManager.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/util/DocumentManager.ts b/src/client/util/DocumentManager.ts index 83a69465f..c45d3a75f 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -168,7 +168,7 @@ export class DocumentManager { retryDocView.props.focus(targetDoc, willZoom); // focus on the target if it now exists in the context } else { if (closeContextIfNotFound && targetDocContextView.props.removeDocument) targetDocContextView.props.removeDocument(targetDocContextView.props.Document); - (dockFunc || CollectionDockingView.AddRightSplit)(Doc.BrushDoc(Doc.MakeAlias(targetDoc)), undefined); // otherwise create a new view of the target + targetDoc.layout && (dockFunc || CollectionDockingView.AddRightSplit)(Doc.BrushDoc(Doc.MakeAlias(targetDoc)), undefined); // otherwise create a new view of the target } highlight(); }, 0); |