Christian Ridderström <[EMAIL PROTECTED]> writes:
| On Fri, 2 Jan 2004, Kuba Ober wrote:
>
>> The dropdown box will become cluttered if suddently its width will almost
>> doubled due to (Numbered) or (Unnumbered) being appended to header styles.
>
| Have a look at the attached screenshot or try the attached layout-file.
>
| Personally I'm used to the '*' now... I think of it as a footnote marker
| that indicates that it's the unnumbered version of the environment.
| Additionally, it makes remembering the keyboard shortcuts pretty easy.
So... is "Standard" numbered or not?
--
Lgb
