RE: [ jEdit-users ] More Console Problems

[FORREST E. <for...@ad...>]

Yes, I am using 4.3pre3.  I should've mentioned that, sorry.  This is a
winXP machine with Java 1.5.0.


> -----Original Message-----
> From: Alan Ezust [mailto:ala...@gm...]
> Sent: Wednesday, March 29, 2006 10:52 AM
> To: FORREST EVANS
> Cc: jed...@li...
> Subject: Re: [ jEdit-users ] More Console Problems
>=20
> Yes, it seems the error patterns list doesn't work at all under jedit
> 4.2. It works *better* under 4.3pre3 but still is a bit quirky.
> Double-Clicking the "reload" button should restore the default error
> patterns.
>=20
> I just changed the plugin manager's db so that it sends console 4.1.2
> to users of jedit 4.2.
>=20
> Are you using 4.3pre3?
>=20
>=20
> On 3/28/06, FORREST EVANS <for...@ad...> wrote:
> >
> >
> >
> > The console plugin doesn't seem to be able to save a new error
patterns
> > using 4.2.5.  Additionally, all of the default patterns are gone as
> well.
> >
> >
> >
> > This seems to be a bug in the console plugin.  I have done this
before
> with
> > 4.1.2 with no problems.
> >
> >
> >
> > Forrest