>>>>> "Dekel" == Dekel Tsur <[EMAIL PROTECTED]> writes:
Dekel> It is not a big problem. Dekel> The interface has the following advantages over the current Dekel> one: - Simpler code - You do not need to click on each error Dekel> inset in order to see the error message - You can view all Dekel> error messages at one, so if they all have the same cause (e.g. Dekel> forgetting to include a package) then you do not need to go to Dekel> each individual error Agreed. Getting rid of this awful error insets would be a very good thing, I think. JMarc
