|
From: mike d. <md...@st...> - 2000-06-27 15:47:23
|
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 |