Re: How ERT are displayed
Daniel == Daniel Lohmann [EMAIL PROTECTED] writes: Daniel I would, however, also prefer to have a fixed font size for Daniel all ERTs Some people who use ERT for short bits would not like to have it be of the same fixed size. However, I think it could be a bit smaller (like foot is smaller). JMarc
Re: How ERT are displayed
Jean-Marc Lasgouttes schrieb: Daniel == Daniel Lohmann [EMAIL PROTECTED] writes: Daniel I would, however, also prefer to have a fixed font size for Daniel all ERTs Some people who use ERT for short bits would not like to have it be of the same fixed size. However, I think it could be a bit smaller (like foot is smaller). Well, huge ERTs would probably never make any sense. As ERTs are rendered in a monospaced font, they always break over several lines. At least if using a screen of affordable size :-) I think a maximum size would be good. Daniel
Re: How ERT are displayed
Daniel == Daniel Lohmann [EMAIL PROTECTED] writes: Daniel Jean-Marc Lasgouttes schrieb: Daniel == Daniel Lohmann [EMAIL PROTECTED] writes: Daniel I would, however, also prefer to have a fixed font size for Daniel all ERTs Some people who use ERT for short bits would not like to have it be of the same fixed size. However, I think it could be a bit smaller (like foot is smaller). Daniel Well, huge ERTs would probably never make any sense. As ERTs Daniel are rendered in a monospaced font, they always break over Daniel several lines. At least if using a screen of affordable size Daniel :-) It depends. Some people have ERT with only one character in it like \foo{ and then later }. In this case, it makes sense to use the same size as the surrounding text. JMarc
Re: How ERT are displayed
Daniel == Daniel Lohmann [EMAIL PROTECTED] writes: Daniel I would, however, also prefer to have a fixed font size for Daniel all ERTs Some people who use ERT for short bits would not like to have it be of the same fixed size. However, I think it could be a bit smaller (like foot is smaller). JMarc
Re: How ERT are displayed
Jean-Marc Lasgouttes schrieb: Daniel == Daniel Lohmann [EMAIL PROTECTED] writes: Daniel I would, however, also prefer to have a fixed font size for Daniel all ERTs Some people who use ERT for short bits would not like to have it be of the same fixed size. However, I think it could be a bit smaller (like foot is smaller). Well, huge ERTs would probably never make any sense. As ERTs are rendered in a monospaced font, they always break over several lines. At least if using a screen of affordable size :-) I think a maximum size would be good. Daniel
Re: How ERT are displayed
Daniel == Daniel Lohmann [EMAIL PROTECTED] writes: Daniel Jean-Marc Lasgouttes schrieb: Daniel == Daniel Lohmann [EMAIL PROTECTED] writes: Daniel I would, however, also prefer to have a fixed font size for Daniel all ERTs Some people who use ERT for short bits would not like to have it be of the same fixed size. However, I think it could be a bit smaller (like foot is smaller). Daniel Well, huge ERTs would probably never make any sense. As ERTs Daniel are rendered in a monospaced font, they always break over Daniel several lines. At least if using a screen of affordable size Daniel :-) It depends. Some people have ERT with only one character in it like \foo{ and then later }. In this case, it makes sense to use the same size as the surrounding text. JMarc
Re: How ERT are displayed
> "Daniel" == Daniel Lohmann <[EMAIL PROTECTED]> writes: Daniel> I would, however, also prefer to have a fixed font size for Daniel> all ERTs Some people who use ERT for short bits would not like to have it be of the same fixed size. However, I think it could be a bit smaller (like foot is smaller). JMarc
Re: How ERT are displayed
Jean-Marc Lasgouttes schrieb: "Daniel" == Daniel Lohmann <[EMAIL PROTECTED]> writes: Daniel> I would, however, also prefer to have a fixed font size for Daniel> all ERTs Some people who use ERT for short bits would not like to have it be of the same fixed size. However, I think it could be a bit smaller (like foot is smaller). Well, "huge" ERTs would probably never make any sense. As ERTs are rendered in a monospaced font, they always break over several lines. At least if using a screen of affordable size :-) I think a maximum size would be good. Daniel
Re: How ERT are displayed
> "Daniel" == Daniel Lohmann <[EMAIL PROTECTED]> writes: Daniel> Jean-Marc Lasgouttes schrieb: >>> "Daniel" == Daniel Lohmann >>> <[EMAIL PROTECTED]> writes: >> Daniel> I would, however, also prefer to have a fixed font size for Daniel> all ERTs >> Some people who use ERT for short bits would not like to have it >> be of the same fixed size. However, I think it could be a bit >> smaller (like foot is smaller). Daniel> Well, "huge" ERTs would probably never make any sense. As ERTs Daniel> are rendered in a monospaced font, they always break over Daniel> several lines. At least if using a screen of affordable size Daniel> :-) It depends. Some people have ERT with only one character in it like "\foo{" and then later "}". In this case, it makes sense to use the same size as the surrounding text. JMarc
How ERT are displayed
Can I adjust how these entries are displayed? The font size is huge.
Re: How ERT are displayed
ERTs are rendered in the same font size than the line they are embedded into. Hence, if you add an ERT to e.g. the title of an article the font is huge. ERTs in the main text are a lot more readable. I would, however, also prefer to have a fixed font size for all ERTs Daniel 2006/10/18, Timothy Reaves [EMAIL PROTECTED]: Can I adjust how these entries are displayed? The font size is huge.
Re: How ERT are displayed
Timothy Reaves schrieb: Can I adjust how these entries are displayed? The font size is huge. Currently not. See also the related bugreport: http://bugzilla.lyx.org/show_bug.cgi?id=2477 regards Uwe
How ERT are displayed
Can I adjust how these entries are displayed? The font size is huge.
Re: How ERT are displayed
ERTs are rendered in the same font size than the line they are embedded into. Hence, if you add an ERT to e.g. the title of an article the font is huge. ERTs in the main text are a lot more readable. I would, however, also prefer to have a fixed font size for all ERTs Daniel 2006/10/18, Timothy Reaves [EMAIL PROTECTED]: Can I adjust how these entries are displayed? The font size is huge.
Re: How ERT are displayed
Timothy Reaves schrieb: Can I adjust how these entries are displayed? The font size is huge. Currently not. See also the related bugreport: http://bugzilla.lyx.org/show_bug.cgi?id=2477 regards Uwe
How ERT are displayed
Can I adjust how these entries are displayed? The font size is huge.
Re: How ERT are displayed
ERTs are rendered in the same font size than the line they are embedded into. Hence, if you add an ERT to e.g. the title of an article the font is huge. ERTs in the main text are a lot more readable. I would, however, also prefer to have a fixed font size for all ERTs Daniel 2006/10/18, Timothy Reaves <[EMAIL PROTECTED]>: Can I adjust how these entries are displayed? The font size is huge.
Re: How ERT are displayed
Timothy Reaves schrieb: Can I adjust how these entries are displayed? The font size is huge. Currently not. See also the related bugreport: http://bugzilla.lyx.org/show_bug.cgi?id=2477 regards Uwe