efc75ed31d
git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@717 51baf565-9d33-0410-a72c-fc3788e3496d
27 lines
889 B
XML
27 lines
889 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.8
|
|
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.9.jar
|
|
|
|
#
|
|
# Menu properties
|
|
#
|
|
pmd-menu=pmd-check-current-file pmd-check-current-directory pmd-check-current-directory-recursively
|
|
pmd-menu.label=$PMD
|
|
pmd-check-current-file.label=Check current file
|
|
pmd-check-current-directory.label=Check all files in current directory
|
|
pmd-check-current-directory-recursively.label=Check directory recursively
|
|
|
|
#
|
|
# Option pane properties
|
|
#
|
|
options.PMD.title=PMD
|
|
options.PMD.label=PMD
|
|
|