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