On Jan 5, 2012, at 1:26 AM, Olivier Ripoll wrote: > On 04.01.2012 22:39, Jerry wrote: >> >> On Jan 4, 2012, at 8:46 AM, James Sutherland wrote: > [...] >>> >>> FWIW, I have been noticing this issue on my Mac as well with LyX 2.0.2 >>> (binary installation) and Mac OSX 10.7.2. It has occurred for me with >>> small documents as well as large ones. Mouse-scrolling lags substantially. >>> >>> I just tried it on another Mac system running OSX 10.6.8 and LyX >>> 2.0.0. No problems there. I then updated to LyX 2.0.2 on 10.6.8 and >>> there were no problems with that either. >>> >>> So it appears that this issue is unique to LyX on OSX 10.7.x? >> >> No—I'm on OS X 10.6.8. >> Jerry >>> >>> James >> > > If the issue I reported is the same (it seems the definition of "slow > scrolling" can cover different behaviours), it happens also on Windows 7. > > BR, > > O. > Interesting. So now we have reports of slow scrolling problems on multiple versions of OS X and multiple versions of Windows, where the problem got worse with 2.0.2 relative to 2.0.1.
I don't think we have any reports of problems on Linux yet. Don't some versions of Linux use Qt as their native GUI engine? If so, maybe somehow there is less chance to mess things up since it would then be the native engine for those systems. For those who have reported "no problems" I would respectfully submit that your perception is different than that of others and/or your tolerance for interface idiosyncrasies is better or you have lower expectations. For anyone who cares to compare and who doesn't think their (OS X) box has a problem, simply open any PDF into Preview or Skim or any significantly long text file in TextEdit and flick through it with the two-finger trackpad swipe or whatever equivalent you have with a mouse, then try the same with a LyX file. You should see a world of difference. Personally, the two-finger swipe to scroll is totally addictive and so effective that often I use that as a shortcut to go all the way to the top or bottom of a document instead of using other means. Jerry
