Martin Vermeer wrote:
Note that the job will be easier if stale caches are not covered up by the current overzealous full-screen refresh behaviour. I suggest gettingrid of that first.
The full refresh thing is due to the cursor bug. I will work on it as soon as I find some free time.
Abdel.
