PDF highlighting support
authorStefan Bund <stefan@j32.de>
Sat, 4 May 2013 21:25:39 +0000 (23:25 +0200)
committerStefan Bund <stefan@j32.de>
Sat, 4 May 2013 21:25:39 +0000 (23:25 +0200)
commitff400575e86c51dd05f1b729b5a3889c5deed8df
treed797bb8dc8f4aef324070e297432f443b0557564
parent7145998e867dd31df2de6641b3c0323c59189154
PDF highlighting support
Makefile
PDFWidget.cc
PDFWidget.hh