a: mouse: mouse input channel isn't drained when a new window is selected - Githubissues

as / a

A graphical text editor

BSD 3-Clause "New" or "Revised" License

354 stars 25 forks source link

a: mouse: mouse input channel isn't drained when a new window is selected #126

Closed as closed 6 years ago

as commented 6 years ago

This causes very annoying behavior, i.e., "ghost" scrolling and clicking