Re: Aborting the progress gauge
At 03:28 PM 3/16/00 +0100, Hrvoje Niksic wrote:
I think the echo area progress gauge should behave like an echo area
message -- removed at the first possible opportunity.
Lead me - I wasn't sure how to do this effectively. I wanted to have
something like `with-progress-feedback' but I don't think that jives with
font-lock.
andy
--------------------------------------------------------------
Dr Andy Piper
Senior Consultant Architect, BEA Systems Ltd