Re: [ jEdit-devel ] [ jedit-Bugs-446132 ] Opening menu redraws whole app

On Mon, Jul 30, 2001 at 11:26:03PM -0700, no...@so... wrote:
> It looked like rebooting NT fixed the problem.  That's what
> happens when you leave it running for 3 days straight...
> 
> FYI, running 3.2pre6 on Windows NT, JDK 1.3.1.

One possible cause of the problem is that the 'Current Directory' and
'Markers' menus are automatically generated, with components being
added, right before they are made visible. This queues a revalidation,
which somehow messes up the display. I'm not sure if this is the real
cause or how to fix it, because I have never experienced this problem
myself.

Slava