On Sun, Nov 13, 2022 at 06:59:32AM +0000, Werner LEMBERG wrote: > Interesting. Using either evince 41.3 or okular 21.12.3 on my > GNU/Linux box, copy and paste works correctly. > > What PDF viewer is problematic for you?
evince 3.36.10. > > > I did investigate if something could be done inside the PDF output > > to make the copiable text differ from the displayed text, using a > > feature called ActualText (available in PDF standard from version > > 1.5 onwards), but it seemed far more trouble than it was worth. > > This is a nice idea, since PDF version 1.5 is the standard format of > pdftex nowadays. I think it would be worth to be put on > `texinfo.tex`'s TODO list. There is a LaTeX package "accsup" (https://ctan.org/pkg/accsupp) which would have to be ported; however, it's still labelled as "experimental", and there are various reports of problems with different PDF readers: https://github.com/ho-tex/accsupp/issues/2
