Merge pull request 'Fix #282: jumpnav visible on mobile initial load' (#285) from fix-282 into dev

2026-09-18 01:35:15 +00:00
parent c190dd9ea6 3460d54fce
commit ed435c5e13
1 changed files with 10 additions and 0 deletions
@@ -38,4 +38,14 @@
  window.addEventListener('resize', refresh);
  if (scroller !== window && scroller) scroller.addEventListener('input', refresh);
  refresh();
+  /* #282: the first evaluation can run before the layout settles (media
+     queries, web fonts, async highlighting) and under-measure the content,
+     leaving the nav hidden on long pages. Re-check once a real layout exists
+     and after load; the ResizeObserver also catches late content growth. */
+  requestAnimationFrame(function () { requestAnimationFrame(refresh); });
+  window.addEventListener('load', refresh);
+  window.setTimeout(refresh, 300);
+  if (window.ResizeObserver && scroller === window && document.body) {
+    new ResizeObserver(refresh).observe(document.body);
+  }
 })();