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

[Werner LEMBERG]

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

See my other e-mail why this I consider this a bad solution and what
could be done to improve that.

> The precise formatting of @var in @code and similar commands, other
> than being slanted was not (and is not) documented.

While this is true, I find it a horrendous idea to change the
well-thought, decades-old behaviour of `@var` for just being 'not
documented'.  Guys, everybody using Texinfo relies on this
'undocumented' behaviour!


    Werner