[Poppler-bugs] [Bug 6923] characters change when selecting text

[bugzilla-daemon at freedesktop.org]

https://bugs.freedesktop.org/show_bug.cgi?id=6923

--- Comment #19 from Albert Astals Cid <tsdgeos at terra.es> 2011-02-17 12:45:47 PST ---
I tend to agree with Paul that is fine for a word to have different fonts, but
on the other hand one can argue if the ":" in that situation is part of the
word or not.

I'd say 1 is a better solution but if you can get 2 with a "clean enough" code
i won't be oposed to it either.

Personally i think text selection should have been done in client side (like we
do in Okular) and not "modyfing" poppler internal structures but that's a bit
too late i guess :D

-- 
Configure bugmail: https://bugs.freedesktop.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.