diff options
| author | geireann <60007097+geireann@users.noreply.github.com> | 2021-08-02 15:44:44 -0400 |
|---|---|---|
| committer | geireann <60007097+geireann@users.noreply.github.com> | 2021-08-02 15:44:44 -0400 |
| commit | 94705e6cf119b9cdfcc0d857f71051eac10235c9 (patch) | |
| tree | 2d399160a319b7931b22f7b7fd38e9ad3483ea33 /src/client/views/pdf/PDFViewer.tsx | |
| parent | 1291e8a45ec9e3aeccd2ca74c0f549a18a16f0d7 (diff) | |
| parent | 44ed361a9f59a16bbd1b5f2483ba7eb10df2fa82 (diff) | |
Merge branch 'master' into sharing_scenario
Diffstat (limited to 'src/client/views/pdf/PDFViewer.tsx')
| -rw-r--r-- | src/client/views/pdf/PDFViewer.tsx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/client/views/pdf/PDFViewer.tsx b/src/client/views/pdf/PDFViewer.tsx index 4a50dccf3..e8c7a4ab0 100644 --- a/src/client/views/pdf/PDFViewer.tsx +++ b/src/client/views/pdf/PDFViewer.tsx @@ -184,7 +184,8 @@ export class PDFViewer extends React.Component<IViewerProps> { const mainCont = this._mainCont.current; let focusSpeed: Opt<number>; if (doc !== this.props.rootDoc && mainCont && this._pdfViewer) { - const scrollTo = Utils.scrollIntoView(NumCast(doc.y), doc[HeightSym](), NumCast(this.props.layoutDoc._scrollTop), this.props.PanelHeight() / (this.props.scaling?.() || 1)); + const windowHeight = this.props.PanelHeight() / (this.props.scaling?.() || 1); + const scrollTo = Utils.scrollIntoView(NumCast(doc.y), doc[HeightSym](), NumCast(this.props.layoutDoc._scrollTop), windowHeight, .1 * windowHeight); if (scrollTo !== undefined) { focusSpeed = 500; |