From 17fb71943f8697cbae4a7b5f68b4623d76ae6029 Mon Sep 17 00:00:00 2001
From: John Factotum <50942278+johnfactotum@users.noreply.github.com>
Date: Sun, 14 May 2023 22:11:46 +0800
Subject: [PATCH] Scrolled mode: leave space for top margin when scrolling to
 position

---
 paginator.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/paginator.js b/paginator.js
index 943b4ad..60ea3d4 100644
--- a/paginator.js
+++ b/paginator.js
@@ -565,7 +565,7 @@ export class Paginator {
     }
     async #scrollToRect(rect, reason) {
         if (this.scrolled) {
-            const offset = this.#getRectMapper()(rect).left
+            const offset = this.#getRectMapper()(rect).left - this.layout.margin
             return this.#scrollTo(offset, reason)
         }
         const offset = this.#getRectMapper()(rect).left