[Agda] How to disable type-checking progress in emacs buffer?

[Peter Hancock]

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.

Does anyone know how to turn this entertainment off (and occasionally on)?
I can't see a customisation variable.

It reminds me of staring at a disk defragmentation program,

Hank