Andre Poenitz wrote: > PS: Of course we could always pop up a message and say "You document > contains grammar errors" and classify the few false positives as bug ;-)
There is no other possible good-ui design. Everything else would break the least-surprise principle. ;-) Alfredo