Re: [ jEdit-users ] Display bug around mouse cursor

[Jon M. <jon.murphy@DataIntegration.com>]

> >       Sarah Berry wrote:
> >
> >       I'm using jEdit 4.3pre13 with Java 1.6.0_05 on
> Windows XP. Fairly
> >       often I encounter a display bug where the area immediately
> >       around my mouse pointer or cursor doesn't redraw.
>
>
> I get similar problems with all Java programs under Windows
> XP.

Having said that, I just tried to reproduce the problem and failed, so maybe something was fixed recently without me noticing!

Jonathan Murphy