log scroll to bottom, try to defend against rounding error

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/templates/script.ts b/templates/script.ts
index 5b83cb8d0b882b12c5cc26fe10cf0426bdaa473a..64207a86c406f15597ae5a958fd38aa2cc919f3c 100644 (file)
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -790,10 +790,12 @@ function add_log_message(msg_html: string) {
     // rejected
       //   https://developer.mozilla.org/en-US/docs/Web/API/Intersection_Observer_API
       (() => {
+       let le_top = lastent.getBoundingClientRect()!.top;
        let le_bot = lastent.getBoundingClientRect()!.bottom;
        let ld_bot = logdiv.getBoundingClientRect()!.bottom;
-       console.log("ADD_LOG_MESSAGE bboxes: le, bb", le_bot, ld_bot);
-       return le_bot > ld_bot;
+       console.log("ADD_LOG_MESSAGE bboxes: le t b, bb",
+                   le_top, le_bot, ld_bot);
+       return 0.5 * (le_bot + le_top) > ld_bot;
       })();
 
   console.log('ADD LOG MESSAGE ',in_scrollback, msg_html);