Better functionality of PDF viewer for annotating

[franktietze]

Please improve the functionality of the PDF editor. The marking of text, particularly in older PDF documents is very unprecise.