[ jEdit-devel ] Kevin's plugins

[Slava P. <sp...@gj...>]

Kevin,

None of your plugins have correct 'plugin' properties.
Eg, in PluginHolder, you write:

plugin.PluginHolder.author=Kevin A. Burton

When you must specify the full plugin class name, like:

plugin.net.sourceforge.jedit.pluginholder.PluginHolder.author=Kevin A. Burton

All your other properties (version, dependencies) are
also broken in this manner.

Please fix this because jEdit 2.3final will not load
plugins without a valid 'version' property (to stop
thousands of messages to jedit-users with subject
'plugin manager doesn't work')

Slava