Ubuntu
poppler package

  1. Bug #39890
  2. Comment #1

Comment 1 for bug 39890

Revision history for this message
Gary Coady (garycoady) wrote : Re: characters change when marking text

Thank you for reporting this issue.

I can also reproduce it. I don't think that the different characters are really different characters, just a different font. For example, the character ']' (right square bracket) looks like the character '#' in the font cmmi10, and that is the character that appears when it is highlighted.