On Tue, Jun 28, 2016 at 3:05 PM, Robert Weiner <r...@gnu.org> wrote:
> On Tue, Jun 28, 2016 at 2:39 PM, Gavin Smith <gavinsmith0...@gmail.com>
> wrote:
>
>> It should be the same text face if you use a command like @code in it,
>> or you could use @kbd itself in its definition.
>>
>
From my .pdf reader, it looks like @kbd and @code use slightly different
faces. If that is the case, then we don't yet have a macro that would
work. There is a note in texinfo.tex that says: "@kbd uses slanted tty
font always" if that is relevant.
Based on the following four lines from texinfo.tex:
\gdef\markupsetcodequoteleft{\let`\codequoteleft}
\gdef\markupsetcodequoteright{\let'\codequoteright}
\let\markupsetuplqkbd \markupsetcodequoteleft
\let\markupsetuprqkbd \markupsetcodequoteright
it looks like if we could just specify a different left and right quote for
@kbd, that that would do it. But these lines are connected to the
codequote{left,right} definitions which are a bit more complex, so I'm not
sure how to adapt these.
Bob
