github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-27 17:30:37 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
681da2e90ca8132753c47949187b5f38fece5956
zyedidia.micro/cmd
History
Zachary Yedidia 681da2e90c Deselect with mouse 
This commit also makes non editing actions (save, quit...) only execute
once even if there are multiple cursors.
2017-06-17 11:05:23 -04:00
..
micro
Deselect with mouse
2017-06-17 11:05:23 -04:00