Abdelrazak Younes wrote: > > (I notice that scrolling the UserGuide is > > quite fluently, as long as no graphics or previews are involved [1]). > > You mean it is better or slower than without the patch?
No, it's completely unrelated. I just noticed it while testing the patch. Jürgen
