Plugin Documentation

jEdit queries various properties to get information about plugins. Defining these properties is highly recommended. In the below property names, plugin should be the class name of your EditPlugin implementation.

Here is an example of setting these properties for a plugin named HelloWorldPlugin:

plugin.HelloWorldPlugin.name=Hello World!
plugin.HelloWorldPlugin.author=Joe Random Hacker
plugin.HelloWorldPlugin.version=1.0
plugin.HelloWorldPlugin.docs=index.html