[Agda] How to disable type-checking progress in emacs buffer?
Guilhem Moulin
guilhem.moulin at chalmers.se
Thu Mar 8 02:22:32 CET 2012
Hi Peter,
On Wed, 07 Mar 2012 at 20:08:06 +0000, Peter Hancock wrote:
> Since the last time I updated agda, type-checking is accompanied
> by a pretty yellow/green twinkly visual effect in my emacs buffer,
> that takes forever. I may be using bleeding-edge darcs agda.
You're probably using Aquamacs or Emacs.app (please report if it's not
the case). This is a known bug for Emacs that run under the Cocoa
library, and it's not fixed yet.
> Does anyone know how to turn this entertainment off (and occasionally on)?
> I can't see a customisation variable.
See the attached mail.
--
Guilhem.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: Digital signature
Url : http://lists.chalmers.se/pipermail/agda/attachments/20120308/b827e633/attachment.bin
More information about the Agda
mailing list