Re: texinfo.tex CVS 2003-11-24

[Karl Berry]

    I'm *not* happy that the font for variables has been changed from
    slanted roman to slanted typewriter in @defXXX commands.  

I was afraid of that.

I explained my rationale for changing in the comments and my mail
message to texinfo-pretest.  Here it is again:
    % . we're printing identifiers, they should be in tt in principle.
    % . in languages with many accents, such as Czech or French, it's
    %   common to leave accents off identifiers.  The result looks ok in
    %   tt, but exceedingly strange in rm.
    % . we don't want -- and --- to be treated as ligatures.

Except in your case, you're not printing identifiers, at least not mostly.
Sigh.

There is no Texinfo-level way to change the appearance, I intentionally
did not write one since I hoped the new way would be ok.

But since it isn't, I'll guess we'll have to support both.  I'm not sure
if there's going to be any clean way to do it.  @set defunromanfonts?