Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
I noticed that things were feeling laggy in general and when I added some debugging prints I noticed that we were getting a continuous stream of CursorMoved events with the same coordinates while the window had focus. This diff short circuits mouse processing in that situation and makes things feel a bit more snappy.
- Loading branch information