At 10:12 AM 6/2/00 -0500, Charles G Waldman wrote: > >Hrvoje Niksic wrote: > > > Either font-lock should be fixed so that it doesn't attempt to display > > the spurious progress, or the progress bar should be adapted to handle > > the case more gracefully. > >I don't know if this is even remotely possible, but it would be nice >if the progress bar could be suppressed for operations taking less >than, say, 1 second or so. The progress bar might be kind of nifty >for long operations, but I find it quite distracting to pop up a >progress bar for very quick operations. 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.