2002-07-08 15:43:20 +00:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
|
<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
|
|
|
|
|
<ACTIONS>
|
|
|
|
|
<ACTION NAME="pmd.check">
|
|
|
|
|
<CODE>
|
|
|
|
|
net.sourceforge.pmd.jedit.PMDJEditPlugin.check(view);
|
|
|
|
|
</CODE>
|
|
|
|
|
</ACTION>
|
2002-07-08 21:43:30 +00:00
|
|
|
<ACTION NAME="pmd.options">
|
|
|
|
|
<CODE>
|
|
|
|
|
net.sourceforge.pmd.jedit.PMDJEditPlugin.displayPreferencesDialog(view);
|
|
|
|
|
</CODE>
|
|
|
|
|
</ACTION>
|
2002-07-08 15:43:20 +00:00
|
|
|
</ACTIONS>
|
