>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Sat, Aug 24, 2002 at 11:31:12AM +0900, Rob Lahaye wrote: >> There are two error-related entries: Edit-> Remove All Error Boxes Mavigate-> Error >> Can you gray-out these entries, when the document has no error >> boxes? John> Right now, that's O(nr. paragraphs) so it might be a bit too John> slow. There are others we could disable too. We could set a hasErrorInsets bool in Buffer when we insert error insets, and reset it to false when removeautoinsets is called. Of course, this does not handle the case where people delete error insets by hand, but maybe is it better than nothing. JMarc
