pmd/pmd-jedit/config/pmd.props
Tom Copeland b6bf0bf8b2 slowly putting the options panel together
git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@247 51baf565-9d33-0410-a72c-fc3788e3496d
2002-07-09 17:20:08 +00:00

22 lines
641 B
XML

#
# Plugin properties
#
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.name=PMD
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.author=Tom Copeland
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.version=0.1
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.docs=jedit.html
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.0=jdk 1.3
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.depend.1=jedit 04.00.99.00
plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.jars=pmd-0.3.jar
#
# Menu properties
#
pmd-menu=pmd.check - pmd.options
pmd-menu.label=PMD
pmd.check.label=$Check active buffer
pmd.options.label=$Options
options.pmd.label=PMD