Re: texinfo.tex CVS 2003-11-24

[Akim Demaille]

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

I use accents in there, for instance when presenting a book.

But I don't care if deffun use tt : I just need one version that
doesn't :(

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

Personally I'd prefer being able to mix the styles.  Maybe we need
something else than deffun.