From 3b96ddf3e6c2205890c74ad55133ab52b113bdee Mon Sep 17 00:00:00 2001
From: John Factotum <50942278+johnfactotum@users.noreply.github.com>
Date: Sat, 14 Sep 2024 23:10:40 +0800
Subject: [PATCH] Paginator: fix scroll offset when tabbing

---
 paginator.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/paginator.js b/paginator.js
index 8395438..9c01cb4 100644
--- a/paginator.js
+++ b/paginator.js
@@ -519,6 +519,10 @@ export class Paginator extends HTMLElement {
             doc.addEventListener('touchstart', this.#onTouchStart.bind(this), opts)
             doc.addEventListener('touchmove', this.#onTouchMove.bind(this), opts)
             doc.addEventListener('touchend', this.#onTouchEnd.bind(this))
+
+            doc.addEventListener('focusin', e =>
+                // NOTE: `requestAnimationFrame` is needed in WebKit
+                requestAnimationFrame(() => this.scrollToAnchor(e.target)))
         })
 
         this.#mediaQueryListener = () => {