agda-mode icon indicating copy to clipboard operation
agda-mode copied to clipboard

Published 20 hours ago • verified publisher icon banacorn

All undo commands are doubled

Open elidupree opened this issue 4 years ago • 0 comments

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.

elidupree avatar Dec 23 '20 23:12 elidupree