From 8e4b7cddc51df8ef7619879ae9be7c0ab90e5cf7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Weber?= <mail@soeren-weber.de>
Date: Fri, 10 Feb 2023 17:02:33 +0100
Subject: [PATCH] scrollbar: update in next frame

the high timeout caused glitches so we assume the width has been settled in the next animation frame + plus some surplus #470
---
 static/js/theme.js | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/static/js/theme.js b/static/js/theme.js
index dcc15deadf..43b64ec63c 100644
--- a/static/js/theme.js
+++ b/static/js/theme.js
@@ -545,22 +545,22 @@ function initMenuScrollbar(){
     // affect their size
     window.addEventListener('resize', function(){
         console.log("resize")
-        pst && setTimeout( function(){ pst.update(); }, 400 );
-        psm && setTimeout( function(){ psm.update(); }, 400 );
-        psc && setTimeout( function(){ psc.update(); }, 400 );
+        pst && setTimeout( function(){ pst.update(); }, 10 );
+        psm && setTimeout( function(){ psm.update(); }, 10 );
+        psc && setTimeout( function(){ psc.update(); }, 10 );
     });
     // now that we may have collapsible menus, we need to call a resize
     // for the menu scrollbar if sections are expanded/collapsed
     document.querySelectorAll('#sidebar .collapsible-menu input.toggle').forEach( function(e){
         e.addEventListener('change', function(){
-            psm && setTimeout( function(){ psm.update(); }, 400 );
+            psm && setTimeout( function(){ psm.update(); }, 10 );
         });
     });
     // bugfix for PS in RTL mode: the initial scrollbar position is off;
     // calling update() once, fixes this
-    pst && setTimeout( function(){ pst.update(); }, 400 );
-    psm && setTimeout( function(){ psm.update(); }, 400 );
-    psc && setTimeout( function(){ psc.update(); }, 400 );
+    pst && setTimeout( function(){ pst.update(); }, 10 );
+    psm && setTimeout( function(){ psm.update(); }, 10 );
+    psc && setTimeout( function(){ psc.update(); }, 10 );
 
     // finally, we want to adjust the contents end padding if there is a scrollbar visible
     window.addEventListener('resize', adjustContentWidth );
@@ -668,7 +668,7 @@ function showToc(){
     var b = document.querySelector( 'body' );
     b.classList.toggle( 'toc-flyout' );
     if( b.classList.contains( 'toc-flyout' ) ){
-        pst && setTimeout( function(){ pst.update(); }, 400 );
+        pst && setTimeout( function(){ pst.update(); }, 10 );
         pst && pst.scrollbarY.focus();
         document.querySelector( '.toc-wrapper ul a' ).focus();
         document.addEventListener( 'keydown', tocEscapeHandler );
@@ -882,7 +882,7 @@ function mark() {
 			parent = parent.parentNode;
 		}
 	}
-    psm && setTimeout( function(){ psm.update(); }, 400 );
+    psm && setTimeout( function(){ psm.update(); }, 10 );
 }
 window.relearn.markSearch = mark;
 
@@ -970,7 +970,7 @@ function unmark() {
 
 	var highlighted = document.querySelectorAll( '.highlightable' );
     unhighlight( highlighted, { element: 'mark' } );
-    psm && setTimeout( function(){ psm.update(); }, 400 );
+    psm && setTimeout( function(){ psm.update(); }, 10 );
 }
 
 function unhighlight( es, options ){