I am experiencing a very bad Kile performance. It seems that it's worse when
Dynamic WordWrap is enabled. I experienced this in F12, but it seems that this
is worse. Just moving the cursor around is an effort. Typed characters would
lag. I have a fully updated F13 x64, with the proprietary nVidia driver and
desktop effects enabled.
I am curious if anyone is experiencing the same thing.