fix PDF highlighting
authorStefan Bund <stefan@j32.de>
Sat, 4 May 2013 22:41:48 +0000 (00:41 +0200)
committerStefan Bund <stefan@j32.de>
Sat, 4 May 2013 22:41:48 +0000 (00:41 +0200)
commite327931915d918c8d7a44ba28d22ee28bae24208
tree0402eab9020c947e48089822dfee8efa18f1c345
parent485c7b2fc01f837dcc5e9b590993b1457b22bd0a
fix PDF highlighting
PDFWidget.cc