diff options
Diffstat (limited to 'xP/public')
| -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) }, } |