Re: [ jEdit-users ] Problem with jEditpre8 download

[mike d. <md...@st...>]

On Tue, 27 Jun 2000, Clayton L. Scott wrote:
> On Mon, 26 Jun 2000, Todd Papaioannou wrote:
> > The plugin PluginManagerPlugin requires jEdit 2.5final or later,
> > but you only have 2.5pre8. Download new jEdit version.
> 
> 	I get this error also and none of the plugins
>  will work.

this is relatively easy to fix.

1. go the system plugins directory, <jEditInstallDir>/jars

2. edit PluginManager/PluginManager.props, changing line 6 to read:

plugin.PluginManagerPlugin.depend.0=jedit 02.05.08.00

3. get the updated props file into PluginManager.jar. with JDK 1.2 or higher,
   you can use this command:

jar ufv PluginManager.jar PluginManager/PluginManager.props

   with JDK 1.1's jar command, you must recreate the archive from scratch.

4. restart jEdit. Plugin Manager should come up fine.

-md