Re: wrong font shape for `@var` in `@example`

[Werner LEMBERG]

> 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.

+1

> 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.

+1


   Werner