Re: [ jEdit-devel ] jEdit and ProjectViewer bug

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

On Saturday 18 June 2005 00:00, Neil Campbell wrote:
> 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.

Hi again,

As promised, I've put together a patch.  On closer inspection the version in 
CVS did contain a workaround for this bug, but the underlying problem 
remained (the first exception in the TODO file is caused by this).

I'm not totally sure that the change I've made to Buffer.java is quite the 
right thing to do though - I'd be grateful if someone more familiar with the 
code than me could point out any unforseen consequences of my change.

Otherwise, if it all seems reasonable, could someone check this in please?

Thanks,
Neil