[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.

-------------- 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