diff options
author | Sam Wilkins <samwilkins333@gmail.com> | 2019-09-29 18:43:15 -0400 |
---|---|---|
committer | Sam Wilkins <samwilkins333@gmail.com> | 2019-09-29 18:43:15 -0400 |
commit | 5bd6158a1f839d19f8965bff97a908c89271437d (patch) | |
tree | 4b6279f1fe0157eb79fabd000a55754c33253506 /src/client/util/DocumentManager.ts | |
parent | 8fb87d09649c269f27b2d475a78b935fc80c637e (diff) | |
parent | c40480ec1a2da84b4223b0605bea2fe19df1104c (diff) |
merged with master
Diffstat (limited to 'src/client/util/DocumentManager.ts')
-rw-r--r-- | src/client/util/DocumentManager.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/client/util/DocumentManager.ts b/src/client/util/DocumentManager.ts index e60ab09bb..c048125c5 100644 --- a/src/client/util/DocumentManager.ts +++ b/src/client/util/DocumentManager.ts @@ -132,7 +132,7 @@ export class DocumentManager { let doc = Doc.GetProto(docDelegate); const contextDoc = await Cast(doc.annotationOn, Doc); if (contextDoc) { - contextDoc.panY = doc.y; + contextDoc.scrollY = NumCast(doc.y) - NumCast(contextDoc.height) / 2; } let docView: DocumentView | null; @@ -178,7 +178,7 @@ export class DocumentManager { (dockFunc || CollectionDockingView.AddRightSplit)(contextDoc, undefined); setTimeout(() => { this.jumpToDocument(docDelegate, willZoom, forceDockFunc, dockFunc, linkPage); - }, 10); + }, 1000); } } } |