Re: Progress gauge review
Andy Piper writes:
Is this under font-lock? If so I guess we could have a
font-lock-minimum-size just as we have font-lock-maximum-size currently.
If you just deferred showing the progress gauge for a half-second or
so, we wouldn't need to add new variables to all the code which uses
progress gauges, the gauge code itself could decide if it's
appropriate to be popping up a progress gauge.