[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: wrong font shape for `@var` in `@example`
From: |
Werner LEMBERG |
Subject: |
Re: wrong font shape for `@var` in `@example` |
Date: |
Sun, 21 Aug 2022 19:59:17 +0000 (UTC) |
> It would be easy to add a switch to texinfo.tex that would switch
> on/off the old behaviour. It would be used like "@set
> txicodevarttsl" (probably with a better name).
OK.
> It wouldn't do anything for any other output formats, so there shouldn't
> need to be any changes to texi2any, or any new commands to be added.
Mhmm. I must admit that I haven't checked how HTML output was before
and is now, so I can't comment on this conclusion.
> My preference for this switch to be limited to texinfo.tex, as we
> shouldn't force absolute consistency across all output formats.
Well, I think that the 'typewriter metaness' is important in HTML
output, too...
Werner
- Re: wrong font shape for `@var` in `@example`, (continued)
- Re: wrong font shape for `@var` in `@example`, Werner LEMBERG, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Gavin Smith, 2022/08/21
- Message not available
- Re: wrong font shape for `@var` in `@example`, Werner LEMBERG, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Gavin Smith, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Werner LEMBERG, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Patrice Dumas, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Werner LEMBERG, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, pertusus, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Werner LEMBERG, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Gavin Smith, 2022/08/21
- Re: wrong font shape for `@var` in `@example`,
Werner LEMBERG <=
- Re: wrong font shape for `@var` in `@example`, pertusus, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Gavin Smith, 2022/08/22
- Re: wrong font shape for `@var` in `@example`, Werner LEMBERG, 2022/08/26
- Re: wrong font shape for `@var` in `@example`, Gavin Smith, 2022/08/26
- Re: wrong font shape for `@var` in `@example`, Werner LEMBERG, 2022/08/26
- Re: wrong font shape for `@var` in `@example`, pertusus, 2022/08/26
- Re: wrong font shape for `@var` in `@example`, Gavin Smith, 2022/08/26
- Re: wrong font shape for `@var` in `@example`, pertusus, 2022/08/21
- Re: wrong font shape for `@var` in `@example`, Gavin Smith, 2022/08/22
- Fwd: wrong font shape for `@var` in `@example`, Gavin Smith, 2022/08/21