From 6c90cdae3aae5df41e593df44bc0a460afd3fe21 Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Tue, 5 May 2020 07:08:38 -0400
Subject: [PATCH] Avoid fractional pixel in viewport height

Fractional pixel could lead to minor scrollbar
glitch -- reported internally.
---
 src/js/logger-ui.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/js/logger-ui.js b/src/js/logger-ui.js
index 8424f51d9..8c5016f57 100644
--- a/src/js/logger-ui.js
+++ b/src/js/logger-ui.js
@@ -2787,7 +2787,7 @@ logger.resize = (function() {
             const crect = elem.getBoundingClientRect();
             const dh = crect.bottom - vrect.bottom;
             if ( dh === 0 ) { continue; }
-            elem.style.height = (crect.height - dh) + 'px';
+            elem.style.height = Math.ceil(crect.height - dh) + 'px';
         }
     };