Re: [ jEdit-devel ] Docker Plugin

[Calvin Yu <cy...@ya...>]

On Thu, 2001-10-25 at 19:44, Dirk M=F6bius wrote:
> Hi Calvin,
>=20
> Cool.
>=20
> Thanks!
>=20
> Should go into 4.0 core IMHO, pre2 or pre3 perhaps.
>=20

I too think this functionality should go into 4.0.  Developing the
plugin was a way of suggesting the feature.


>=20
> Sometimes, the following exception is thrown:
>=20

The next release will prevent this exception from happening.

Calvin


_________________________________________________________
Do You Yahoo!?
Get your free @yahoo.com address at http://mail.yahoo.com