github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-02-20 14:00:23 +09:00
Code Issues Packages Projects Releases Wiki Activity
Files
efff850e54d8cf4be7aca26bb97030ef281811b4
zyedidia.micro/cmd
History
Zachary Yedidia efff850e54 Clear cursors before performing undo or redo 
This fix isn't ideal because it removes the cursors but it does work

Fixes #798
2017-09-04 15:47:24 -04:00
..
micro
Clear cursors before performing undo or redo
2017-09-04 15:47:24 -04:00