diff options
| author | Kai Gunger <kgunger12@gmail.com> | 2025-12-20 17:33:16 -0500 |
|---|---|---|
| committer | Kai Gunger <kgunger12@gmail.com> | 2025-12-20 17:33:16 -0500 |
| commit | 0e1d2882487451cb69b31b0a5a09940ea6b6aa2a (patch) | |
| tree | ca72693b0b7866dad8d118d4b597a95d64c2fb5c /scripts/gui-common | |
| parent | c419e1f51ddbae3c1cd76b2d0412d1734f804250 (diff) | |
Add buffer for log scrolling
Diffstat (limited to 'scripts/gui-common')
| -rw-r--r-- | scripts/gui-common/log.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/gui-common/log.js b/scripts/gui-common/log.js index e5f2bbf..bc93546 100644 --- a/scripts/gui-common/log.js +++ b/scripts/gui-common/log.js @@ -5,7 +5,7 @@ const LOG_EL = document.getElementsByTagName("log")[0]; let LAST_LOG_TYPE = ""; function at_bot(el) { - return el.scrollTop >= (el.scrollHeight - el.clientHeight) + return (el.scrollTop + 10) >= (el.scrollHeight - el.clientHeight) } function addLogEntry(object) { |