Hi everyone,<div><br></div><div>I&#39;m having a problem with the Agda emacs mode after upgrading</div><div>to 2.3.2.</div><div><br></div><div>Whenever I hit C-c C-l I get </div><div><br></div><div>    Another command is currently in progress</div>
<div>    (if a command has been aborted you may want to restart Agda)</div><div><br></div><div>I don&#39;t get any highlighting.</div><div><br></div><div>The same setup worked fine before. I also did the agda-mode setup and agda-mode compile steps.</div>
<div><br></div><div>My version of emacs is  24.2.1.</div><div><br></div><div>I&#39;m not very skilled with emacs, maybe it&#39;s me doing something wrong here.</div><div><br></div><div>Kind regards,</div><div>raichoo</div>