-
Enrico Ros authored
real PITA. Tons of unneeded repaints are casted everywhere, even when hiding or covering widgets. Here we fix a big-bad-bug that repainted all the already viewed pages on a zoom operation. That means that if zooming on a page after viewing 150 pages, then *at least* 150 pages got repainted :-(. Tried to disable clipper(), but got weird results. 2) Adding devel only debug code to check for a possible bug Aaron told me, but I actually wasn't unable to reproduce. svn path=/branches/kpdf_experiments/kdegraphics/kpdf/; revision=357273
f8dfcf32