>>>> "Raymond" == Raymond Toy
>>>> "Andy" == Andy Piper
Andy> At 15:55 19/10/00 -0400, Raymond Toy
>> o This one I haven't reported yet. When fontifying a
>> progress bar moves very very slowly and fontification takes forever
>> (> many seconds). However, if I just move the mouse around in the
>> window, the progress bar zips by very quickly, and fontification
>> finishes in less than a second.
Andy> Did you try my suggestion of nulling out the body of
Andy> progress-feedback-dispatch-non-command-events in
Andy> gutter-items.el to see whether that makes any difference.
Raymond> Sorry! I didn't see your original suggestion!
Raymond> But I just tried it out now. When I comment out the body, the
Raymond> progress bar just zips along when I font-lock-fontify-buffer. Before
Raymond> I had to move the mouse around to get the progress bar to move.
Just wanted to say that the while the progress bar moves quickly now,
it doesn't really look very good. See the attached jpeg file. The
slider is ok, but where it slides doesn't look so good.