xP: cleanup

I had forgotten about the auto-redraw system.
2024-07-28 13:42:15 +02:00 · 2024-07-28 13:42:15 +02:00 · 841bc00c51
commit 841bc00c51
parent 8afe4f8aad
1 changed files with 1 additions and 3 deletions
--- 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)
 	},
 }