[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: wrong font shape for `@var` in `@example`
From: |
pertusus |
Subject: |
Re: wrong font shape for `@var` in `@example` |
Date: |
Sun, 21 Aug 2022 11:59:54 +0200 |
On Sun, Aug 21, 2022 at 05:16:17AM +0000, Werner LEMBERG wrote:
>
> [texinfo.tex 2022-08-20.19]
>
> I'm *very* unhappy that `@var` in `@example` environments no longer
> produce slanted typewriter but slanted roman – with ligatures!
> Besides being extremely ugly, it completely ruins the fixed-width
> spacing, which is of paramount importance. Please, PLEASE revert
> this.
To obtain that effect, now @t{@slanted{...}} should be used (or, to be
sure that the context has no effect, @r{@t{@slanted{...}}}.
The precise formatting of @var in @code and similar commands, other than
being slanted was not (and is not) documented.
> I can only repeat my strong concerns that I've already voiced on the
> 'texinfo' mailing list: Patrice's ideas of redesigning some commands
> and its affected font changes should be done by adding new commands,
> leaving the old ones unchanged for backward compatibility. Otherwise
> chances are very high that you get such unwanted collateral damage as
> demonstrated here.
This is not directly related to the changes I proposed for @def*
commands lines. Having @var always be roman with ligatures is Gavin
decision, although I don't disagree with that decision. This is
somewhat related to the changes in @def* lines, as it seems better for
@var{} to be roman slanted without ligatures on @deftype* lines (rather
than slanted typewriter as it was before, and as it was documented).
I leave the decisions to Gavin, I would implement as consistently as
possible in LaTeX.
--
Pat
- wrong font shape for `@var` in `@example`, Werner LEMBERG, 2022/08/21
- Re: wrong font shape for `@var` in `@example`,
pertusus <=
- Message not available
- 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