diff options
| author | Přemysl Eric Janouch <p@janouch.name> | 2024-07-28 13:42:15 +0200 |
|---|---|---|
| committer | Přemysl Eric Janouch <p@janouch.name> | 2024-07-28 13:42:28 +0200 |
| commit | 841bc00c51488bbef07e70b046b3634ed6ca8b3c (patch) | |
| tree | 09f46f71947c6e450ce96bc1fda3626e9ab3fa0e /xP/public/xP.js | |
| parent | 8afe4f8aad175dfa49556c6dbc37b20e0597bbda (diff) | |
| download | xK-841bc00c51488bbef07e70b046b3634ed6ca8b3c.tar.gz xK-841bc00c51488bbef07e70b046b3634ed6ca8b3c.tar.xz xK-841bc00c51488bbef07e70b046b3634ed6ca8b3c.zip | |
xP: cleanup
I had forgotten about the auto-redraw system.
Diffstat (limited to 'xP/public/xP.js')
| -rw-r--r-- | xP/public/xP.js | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/xP/public/xP.js b/xP/public/xP.js index 3646403..5436a65 100644 --- a/xP/public/xP.js +++ b/xP/public/xP.js @@ -695,10 +695,8 @@ let Buffer = { dom.scrollTop + dom.clientHeight + 1 >= dom.scrollHeight let b = buffers.get(bufferCurrent) - if (b !== undefined && b.highlighted && !bufferAutoscroll) { + if (b !== undefined && b.highlighted && !bufferAutoscroll) b.highlighted = false - m.redraw() - } }}, lines) }, } |