>>>>> "Helge" == Helge Hafting <[EMAIL PROTECTED]> writes:
Helge> Jean-Marc Lasgouttes wrote: >>>>>>> "Richard" == Richard Heck <[EMAIL PROTECTED]> writes: >>>>>>> >> Richard> Yes, and the problem was that people found it hard to use, Richard> and annoying that you had to uncheck the Default box before Richard> you were allowed to check anything else. >> I like the current solution better, except that we do not get to >> see what the default actually is. >> Helge> Which is why I suggested that the "default" button also list Helge> what the current default is. (Only when the selection spans a Helge> single paragraph, of course): Yes. JMarc
