hiifong/pmd
1
0
Fork 0
forked from phoedos/pmd
Code Pull Requests Activity

If the user has checked "Run PMD on save", set the plugin to load on jEdit start up so that the "run on save" feature works right away. Unchecking "Run PMD on save" sets the "activate" property back to "defer", which is the default.

Browse Source 
git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@5948 51baf565-9d33-0410-a72c-fc3788e3496d
This commit is contained in:
Dale Anson
2008-04-01 13:54:43 +00:00
parent e9c4f2c110
commit b94f79e961
1 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
pmd-jedit/PMDPlugin/src/net/sourceforge/pmd/jedit/PMDOptionPane.java
View File

@@ -141,8 +141,15 @@ public class PMDOptionPane extends AbstractOptionPane implements OptionPane {
jEdit.setIntegerProperty( PMDJEditPlugin.DEFAULT_TILE_MINSIZE_PROPERTY,
( txtMinTileSize.getText().length() == 0 ) ? 100 : Integer
.parseInt( txtMinTileSize.getText() ) );
jEdit.setBooleanProperty( PMDJEditPlugin.RUN_PMD_ON_SAVE,
( chkRunPMDOnSave.isSelected() ) );
// If the user has checked "Run PMD on save", set the plugin to load on jEdit
// start up so that the "run on save" feature works right away. Unchecking
// "Run PMD on save" sets the "activate" property back to "defer", which is
// the default.
boolean on_save = chkRunPMDOnSave.isSelected();
jEdit.setBooleanProperty( PMDJEditPlugin.RUN_PMD_ON_SAVE, on_save );
jEdit.setProperty( "plugin.net.sourceforge.pmd.jedit.PMDJEditPlugin.activate", on_save ? "startup" : "defer" );
jEdit.setBooleanProperty( PMDJEditPlugin.IGNORE_LITERALS,
( chkIgnoreLiterals.isSelected() ) );
jEdit.setProperty( PMDJEditPlugin.RENDERER, ( String ) comboRenderer.getSelectedItem() );