From d7efa156f937d6372ba45b3b5e4a8c26d166cae2 Mon Sep 17 00:00:00 2001
From: Alf Eaton <alf.eaton@overleaf.com>
Date: Thu, 2 Dec 2021 11:59:41 +0000
Subject: [PATCH] [web] Account for page border when restoring scroll position
 in PDF preview (#5955)

GitOrigin-RevId: a5c74151e085db2e413ff27b46c67bff8c28487f
---
 .../frontend/js/features/pdf-preview/util/pdf-js-wrapper.js  | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/services/web/frontend/js/features/pdf-preview/util/pdf-js-wrapper.js b/services/web/frontend/js/features/pdf-preview/util/pdf-js-wrapper.js
index 4fcd70bf78..2293bc5c9f 100644
--- a/services/web/frontend/js/features/pdf-preview/util/pdf-js-wrapper.js
+++ b/services/web/frontend/js/features/pdf-preview/util/pdf-js-wrapper.js
@@ -175,6 +175,11 @@ export default class PDFJSWrapper {
       pageNumber: position.page + 1,
       destArray,
     })
+
+    // scroll the page down by an extra few pixels to account for the pdf.js viewer page border
+    this.viewer.container.scrollBy({
+      top: -9,
+    })
   }
 
   abortDocumentLoading() {