[ jEdit-devel ] jEdit and ProjectViewer bug

[Neil C. <li...@th...>]

Hi all,

I've been experiencing a bug when changing projects in ProjectViewer, and I 
found bug #1194415 which describes my symptoms.  This has been closed with a 
reference to jEdit bug #1099045.

I believe I've found out what the bug is, and implemented a dirty workaround 
which solves it.  However, before I make the effort to fix it properly, I 
wanted to check whether anyone else has been working on this - I notice that 
the bug report is still open, but I wondered if anyone else had already put 
together a fix that hadn't quite made it into CVS yet.

If no-one claims it I'll send in a patch shorty.

Thanks,
Neil