This repository has been archived by the owner on Feb 26, 2021. It is now read-only.
All undo commands are doubled #132
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
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 */inAgdaMode.re, but I'm not familiar enough with Atom internals or Reason to debug it myself.The text was updated successfully, but these errors were encountered: