diff options
| -rw-r--r-- | xP/public/xP.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/xP/public/xP.js b/xP/public/xP.js index 6452038..3646403 100644 --- a/xP/public/xP.js +++ b/xP/public/xP.js @@ -693,6 +693,12 @@ let Buffer = { const dom = event.target bufferAutoscroll = dom.scrollTop + dom.clientHeight + 1 >= dom.scrollHeight + + let b = buffers.get(bufferCurrent) + if (b !== undefined && b.highlighted && !bufferAutoscroll) { + b.highlighted = false + m.redraw() + } }}, lines) }, } |