Hi Han-Wen,
makes sure that a regular quote ( ' ) is printed using a regular quote
in the output.
I am not at all sure that it is an improvement, in terms of the
typographic output, to replace the normal directed right quote from the
typewriter fonts with the undirected quote at position 015. I think
many people would be unpleasantly surprised. I know I would be.
We have lots of users that cut & paste code from PDF files, which
Cutting and pasting from PDF files works fine for me, but maybe I don't
have the right expectations. E.g., I run pdftex on the file below,
select it all in xpdf, paste it into an emacs buffer, and get out normal
characters as I would expect. Your patch actually makes cutting &
pasting work worse for me. Odd.
karl
\input texinfo
@setfilename quotes.info
@node Top
@top Quote Test
`Single quotes'.
``Double quotes''.
@samp{samp}.
@bye
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
