mirror of
https://github.com/zyedidia/micro.git
synced 2026-03-01 02:10:23 +09:00
If we press mouse, drag and then release, the release event is generated twice, since both mouse press and mouse drag events have been saved in mousePressed map. To fix that, ensure that we only store mouse press events in it.