diff options
| author | bob <bcz@cs.brown.edu> | 2019-05-22 11:07:20 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-05-22 11:07:20 -0400 |
| commit | dcfbe047add9768f21d84b06a3ed45e11295a15f (patch) | |
| tree | 11df8308b9b2d0617f1bd7416919f1a83a662cda | |
| parent | 54e41cfe7f3538e9cc4b1871a6692b38d21c8c46 (diff) | |
fixed presentation view link follow default.
| -rw-r--r-- | src/client/util/DocumentManager.ts | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/client/util/DocumentManager.ts b/src/client/util/DocumentManager.ts index 369becccb..f113ff1d7 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -115,7 +115,7 @@ export class DocumentManager { } @undoBatch - public jumpToDocument = async (docDelegate: Doc, makeCopy: boolean = true, dockFunc?: (doc: Doc) => void): Promise<void> => { + public jumpToDocument = async (docDelegate: Doc, forceDockFunc: boolean = false, dockFunc?: (doc: Doc) => void): Promise<void> => { let doc = Doc.GetProto(docDelegate); const page = NumCast(doc.page, undefined); const contextDoc = await Cast(doc.annotationOn, Doc); @@ -124,8 +124,8 @@ export class DocumentManager { if (page !== curPage) contextDoc.curPage = page; } let docView: DocumentView | null; - // using makecopy as a flag for splitting linked to doc to the right...can change later if needed - if (!makeCopy && (docView = DocumentManager.Instance.getDocumentView(doc))) { + // using forceDockFunc as a flag for splitting linked to doc to the right...can change later if needed + if (!forceDockFunc && (docView = DocumentManager.Instance.getDocumentView(doc))) { docView.props.Document.libraryBrush = true; docView.props.focus(docView.props.Document); } else { @@ -136,7 +136,7 @@ export class DocumentManager { } else { let contextView: DocumentView | null; docDelegate.libraryBrush = true; - if (!makeCopy && (contextView = DocumentManager.Instance.getDocumentView(contextDoc))) { + if (!forceDockFunc && (contextView = DocumentManager.Instance.getDocumentView(contextDoc))) { contextDoc.panTransformType = "Ease"; contextView.props.focus(contextDoc); } else { |