From 22f288acfded21890bfdbf7b3df680b820a5cfb7 Mon Sep 17 00:00:00 2001 From: Tom Copeland Date: Thu, 25 Jul 2002 04:22:41 +0000 Subject: [PATCH] tweak git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@490 51baf565-9d33-0410-a72c-fc3788e3496d --- pmd-jedit/config/jedit.html | 12 +++++++++++- pmd-jedit/etc/changelog.txt | 1 + 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/pmd-jedit/config/jedit.html b/pmd-jedit/config/jedit.html index 540f3e127e..6fc5766f0d 100644 --- a/pmd-jedit/config/jedit.html +++ b/pmd-jedit/config/jedit.html @@ -15,7 +15,17 @@ You can read much more about PMD here - http://pmd.sf.net/.

  • Restart JEdit and you'll be ready to go.

    Integration

    -

    There's a new 'PMD' menu item in the Plugins menu. This checks your currently displayed Java code and puts the results in the ErrorList.

    +

    There's a new 'PMD' menu item in the Plugins menu. This has several submenu options

    + +

    "Current directory" means "the directory which is displayed in the file system browser. So, for +example, if you wanted to run PMD on your whole source tree, and your top level +source directory is named "src", you would 1) double-click on the "src" directory and +then 2) select the "PMD->Check directory recursively" menu option.

    +

    All those options put any errors into the ErrorList so you can jump around your project fixing stuff.

    There's also a new section in the Global Options configuration panel that lets you pick rule sets.

    License

    The PMD-JEdit plugin is free software released under the Apache license.

    diff --git a/pmd-jedit/etc/changelog.txt b/pmd-jedit/etc/changelog.txt index c152e79ce9..25b70795e4 100644 --- a/pmd-jedit/etc/changelog.txt +++ b/pmd-jedit/etc/changelog.txt @@ -1,4 +1,5 @@ ???? - 0.6 +PMD can be run on 1) all files in a directory or 2) recursively into a directory tree. July 22 2002 - 0.5: Moved options into Global Options area and made them look nicer.