On Tue, Jul 5, 2016 at 1:36 PM, Gavin Smith <[email protected]> wrote: > It's not necessary to achieve uniformity across the various output > formats in this area. There's no reason why output on paper or on a > graphical display should be subject to the limitations of a typewriter > that can't do different fonts.
Just to be clear, no one is suggesting that. We are just suggesting that there also always be a textual delimiter surrounding key sequences to set them off from other text better and to allow tools that operate upon text to operate upon them. > Finally, it seems unfortunate that you can't use @kbd in your Texinfo > source for the key sequences if you want to get the braces. I'm not > sure if there is a solution for this. That would be nice if such an option existed. Bob
