summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--xP/public/xP.js6
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)
},
}