On Fri, Jan 02, 2004 at 06:08:07PM -0500, 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.
I must agree.
Get rid of the old * TeX-ism; it's certainly too cryptic. However,
On Fri, Jan 02, 2004 at 06:08:07PM -0500, 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.
I must agree.
Get rid of the old "*" TeX-ism; it's certainly too cryptic. However,
On Sat, 3 Jan 2004, Lars Gullik Bjønnes wrote:
| 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
On Sat, 3 Jan 2004, Lars Gullik Bjønnes wrote:
I would never make it look like that.
besides the fact that (Numbered)/(Unnumbered) isn't aligned to the right,
how would you make it look?
And the (Numbered) (Unnumbered) should certainly _not_ be part of any
layout file. (but I understand
Christian Ridderström [EMAIL PROTECTED] writes:
| On Sat, 3 Jan 2004, Lars Gullik Bjønnes wrote:
I would never make it look like that.
| besides the fact that (Numbered)/(Unnumbered) isn't aligned to the right,
| how would you make it look?
Probably only have one version, and the possibility
On Sat, 3 Jan 2004, Lars Gullik Bjønnes wrote:
Probably only have one version, and the possibility to choose if the
unnumbered version should be used. Or switch after the numbered one
has been applied. So the marker in the drop-down should only tell if
the layout exists in both numbered and
On Sat, 3 Jan 2004, Lars Gullik Bjønnes wrote:
> | 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"
On Sat, 3 Jan 2004, Lars Gullik Bjønnes wrote:
> I would never make it look like that.
besides the fact that (Numbered)/(Unnumbered) isn't aligned to the right,
how would you make it look?
> And the (Numbered) (Unnumbered) should certainly _not_ be part of any
> layout file. (but I understand
Christian Ridderström <[EMAIL PROTECTED]> writes:
| On Sat, 3 Jan 2004, Lars Gullik Bjønnes wrote:
>
>> I would never make it look like that.
>
| besides the fact that (Numbered)/(Unnumbered) isn't aligned to the right,
| how would you make it look?
Probably only have one version, and the
On Sat, 3 Jan 2004, Lars Gullik Bjønnes wrote:
> Probably only have one version, and the possibility to choose if the
> unnumbered version should be used. Or switch after the numbered one
> has been applied. So the marker in the drop-down should only tell if
> the layout exists in both numbered
I think we should change the layout format to not need separate
definitions for numbered/unnumbered layouts, but rather have a flag:
Numbered/Unnumbered and default to having both.
We'll then automatically generate both versions when reading the
.layout in.
Also in the layout drop-down box we
Lars Gullik Bjønnes wrote:
I think we should change the layout format to not need separate
definitions for numbered/unnumbered layouts, but rather have a
flag: Numbered/Unnumbered and default to having both.
We'll then automatically generate both versions when reading the
.layout in.
| This would be too verbose. We're not writing in Ada here :)
What has our gui visible strings to do with any programming language?
I used Ada as an example. I.e. unless the drop down list's contents were meant
to be read by mostly by Ada programmers, they would methinks be considered
too
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 '*'
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
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
I think we should change the layout format to not need separate
definitions for numbered/unnumbered layouts, but rather have a "flag":
Numbered/Unnumbered and default to having both.
We'll then automatically generate both versions when reading the
.layout in.
Also in the layout drop-down box we
Lars Gullik Bjønnes wrote:
>
> I think we should change the layout format to not need separate
> definitions for numbered/unnumbered layouts, but rather have a
> "flag": Numbered/Unnumbered and default to having both.
>
> We'll then automatically generate both versions when reading the
>
> | This would be too verbose. We're not writing in Ada here :)
>
> What has our gui visible strings to do with any programming language?
I used Ada as an example. I.e. unless the drop down list's contents were meant
to be read by mostly by Ada programmers, they would methinks be considered
too
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 '*'
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
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
22 matches
Mail list logo