[ jEdit-users ] plugin update problem

[Stuart B. <stu...@hu...>]

running jedit 4.2pre8 on XP
When I goto the plugin manager and look at the update list there
is a single plugin (Docker 0.3) which I already have version 0.2
installed.

When I attempt to install the new version it it pops up a dialog
that states...

C:\Documents and Settings\sbarlow\.jedit\jars\Docker.jar:
This plugin does not support dynamic loading.
You must restart jEdit after removing or installing this plugin.


So I re-start jEdit and the new version is not installed. And in
the plugin manager I am shown the Docker plugin again.

Is this a known issue with pre8 ?
Or a driver error ?

Ta,
Stuart.