delay PDF highlighting
authorStefan Bund <stefan@j32.de>
Sat, 4 May 2013 21:49:34 +0000 (23:49 +0200)
committerStefan Bund <stefan@j32.de>
Sat, 4 May 2013 21:49:34 +0000 (23:49 +0200)
commit485c7b2fc01f837dcc5e9b590993b1457b22bd0a
treef22bc2ce4ea33b3bc28303fad6390cdce3596bfe
parentff400575e86c51dd05f1b729b5a3889c5deed8df
delay PDF highlighting
PDFWidget.cc
PDFWidget.hh