mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-28 18:00:23 +09:00
It is useful to be able to use mouse not only for adding new cursors but also for removing them. So let's modify MouseMultiCursor behavior: if a cursor already exists at the mouse click location, remove it.