Question
Copying the tilde ( ~ ) character
If I copy some text in a PDF file which has the tilde character in it, and then paste that text into a text editor such as JEdit or Notepad, the tilde character is pasted as 0x98, and not 0x7f. Is this a know bug in Adobe Acrobat ot am I doing something wrong ? I am using Adobe Acrobat Reader DC version 19.021.20048.27333 in Windows 10.
