At 22:24 26/01/01 +0100, Robin S. Socha wrote:
OK, so I accidentally tried following up to a whole buffer of news
and
stopped with C-g. The gauge thingy stayed and only went away after the
next fontification. Feature?
No, bug. But the code is supposed to try and catch this case.
andy
--------------------------------------------------------------
Dr Andy Piper
Principal Consultant, BEA Systems Ltd