xP: reset highlight state once reaching buffer end

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)
 	},
 }