doxygen: prevent page scroll (and layout jumps) on showing search.

diff --git a/doxygen/search.js b/doxygen/search.js
index 064028ac606b5e100498c35f95aa838bcd87251b..66da5acc42775899a2b2dc689fe8a3e8a04c60a5 100644 (file)
--- a/doxygen/search.js
+++ b/doxygen/search.js
@@ -346,6 +346,12 @@ function selectResult(event) {
 /* istanbul ignore next */
 function showSearch() {
     window.location.hash = '#search';
+
+    /* Prevent accidental scrolling of the body, prevent page layout jumps */
+    let scrolledBodyWidth = document.body.offsetWidth;
+    document.body.style.overflow = 'hidden';
+    document.body.style.paddingRight = (document.body.offsetWidth - scrolledBodyWidth) + 'px';
+
     document.getElementById('search-input').value = '';
     document.getElementById('search-input').focus();
     document.getElementById('search-results').style.display = 'none';
@@ -358,6 +364,11 @@ function showSearch() {
 function hideSearch() {
     window.location.hash = '#!';
     window.history.pushState('', '', window.location.pathname);
+
+    /* Restore scrollbar, prevent page layout jumps */
+    document.body.style.overflow = 'auto';
+    document.body.style.paddingRight = '0';
+
     return false;
 }