Giters

as / a

A graphical text editor

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

as opened this issue · comments

commented

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