At 11:15 PM 5/20/01 -0400, Les Schaffer wrote:
> Does this happen if you switch off the progress gauge?
with progress-feedback-use-echo-area t, the infinite loop does NOT
occur (even with font-lock-default-fontify-buffer left untouched).
I have a feeling that font-lock makes assumptions about the event loop not
being run while its setting itself up - this used to be the case, but
unfortunately for widgets you have to go through the event loop to get them
displayed properly. Therefore there is probably some hook that is being run
which starts font=lock while it is already being font-locked. Seems like we
need to temporarily disable all the hooks until font lock completes.
andy