Comment 46 for bug 39890

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