bug-texinfo
[Top][All Lists]
Advanced

[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: Fri, 26 Aug 2022 18:37:08 +0100

On Fri, Aug 26, 2022 at 02:14:27PM +0000, Werner LEMBERG wrote:
> 
> > I've added this as '@set txicodevaristt'.  I've tested it with
> > texi2pdf -t '@set txicodevaristt'.
> 
> Thanks, this works.  Please document it in `texinfo.texi` :-)
> 
> 
>     Werner
> 
> 
> PS: I still vote for making `txicodevaristt` the default at least for
>     the next version.

What I propose is making it the default for the next release, and stating
in the manual and release notes that it will be changed in the subsequent
release.  That way we give people a chance to set it if they want to
to avoid this change.   After the next release we make @clear txicodevaristt
the default.

We will use @clear txicodevaristt in texinfo.texi (the Texinfo manual) for the
next release.  

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?





reply via email to

[Prev in Thread] Current Thread [Next in Thread]