On 28 June 2016 at 20:41, Robert Weiner <[email protected]> wrote:
>>> 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.
In case you hadn't already figured it out, the use of @kbd in the
macro would be in a conditional block like @ifnotinfo or @iftex. You
would have a different definition for Info output that didn't use @kbd
and so wouldn't get the single quotes that you don't want.
> 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.
I wouldn't rely on patching those definitions. They could change in
future versions of texinfo.tex.
