Andreas Kling c350bb9178 LibGUI: Fix laggy mouse selection in TextEditor widget ...

We were letting the automatic scrolling timer drive all selection
updates to fix an unwanted acceleration that was happening. However,
if a mousemove occurs *within* the editor widget, we should just
handle it right then and there.

2020-04-24 19:14:22 +02:00

52 KiB

Raw Blame History

View Raw