PDF cut-and-paste
authorStefan Bund <stefan@j32.de>
Tue, 25 Jan 2011 00:25:59 +0000 (01:25 +0100)
committerStefan Bund <stefan@j32.de>
Tue, 25 Jan 2011 00:25:59 +0000 (01:25 +0100)
commit3299420e9e55194f4cd55eae7096c74a1f5824d3
tree456a2195b4da63219cecc2e25654a0fc4ee5365d
parentae215129b1f85bcdf776b59c42ac8d5f992d4bd9
PDF cut-and-paste
PDFWidget.cc
PDFWidget.hh