From 2f75fd7ae0c5de38a332ec6b8fc9f780b940bf69 Mon Sep 17 00:00:00 2001
From: Brad Nelson <flagxor@gmail.com>
Date: Fri, 12 Aug 2022 09:11:40 -0700
Subject: [PATCH] Tweaking scrolling.

---
 web/platform.fs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/web/platform.fs b/web/platform.fs
index a727a8c..5f30f78 100644
--- a/web/platform.fs
+++ b/web/platform.fs
@@ -258,10 +258,10 @@ if (!globalObj.write) {
       context.terminal.replaceChild(ntag, tag);
       context.lines[y][0] = ntag;
     }
+    var newline = count > 1 || context.dirty[context.lines.length - 1];
     context.dirty = {};
-    var newline = count > 1;
     if (newline) {
-      window.scrollTo(0, document.body.scrollHeight + 100);
+      window.scrollTo(0, document.body.scrollHeight);
     }
   };