[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: wrong font shape for `@var` in `@example`
From: |
Gavin Smith |
Subject: |
Re: wrong font shape for `@var` in `@example` |
Date: |
Sat, 27 Aug 2022 00:55:44 +0100 |
On Fri, Aug 26, 2022 at 10:20:08PM +0200, pertusus@free.fr wrote:
> On Fri, Aug 26, 2022 at 06:37:08PM +0100, Gavin Smith wrote:
> >
> > The LaTeX output will still use variable-width for @var unconditionally and
> > not subject to configuration. Hence there will be an inconsistency between
> > LaTeX output and texinfo.tex in this area, until after the next release.
> >
> > This way we smooth over some of the disruption while still getting a
> > better default in the longer term.
> >
> > @def* output will still change for texinfo.tex as now @deftype* will be
> > in a fixed width font.
> >
> > Does that sound okay Patrice?
>
> Looks good to me.
Done.
- Re: wrong font shape for `@var` in `@example`, (continued)
- 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, 2022/08/21
- 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 <=
- 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