search

banacorn / agda-mode

agda-mode on Atom
https://atom.io/packages/agda-mode
MIT License
58 stars 14 forks source link

All undo commands are doubled #132

Open elidupree opened 3 years ago

elidupree commented 3 years ago

Whenever I undo while agda-mode is active, it undoes twice. This is rather inconvenient!

This is on a fresh install of Atom and agda-mode from December 2; Atom 1.53.0, agda-mode 0.9.12, running on Windows 10.

I assume this has something to do with the code labeled /* hijack UNDO */ in AgdaMode.re, but I'm not familiar enough with Atom internals or Reason to debug it myself.