phoedos/pmd
1
1
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

tweak

Browse Source 
git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@3475 51baf565-9d33-0410-a72c-fc3788e3496d
This commit is contained in:
Tom Copeland
2005-05-06 19:00:50 +00:00
parent b3a5fce797
commit b9f4523909
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pmd-jdeveloper/src/net/sourceforge/pmd/jdeveloper/SettingsPanel.java
View File

@ -137,7 +137,7 @@ public class SettingsPanel extends DefaultTraversablePanel {
selectedRulesStoredSeparatelyBox.setSelected(Boolean.valueOf(Ide.getProperty(RULE_SELECTIONS_STORED_SEPARATELY)).booleanValue());
JPanel topPanel = new JPanel(new BorderLayout());
topPanel.add(new JLabel("Please see http://pmd.sf.net/ for more information"), BorderLayout.NORTH);
topPanel.add(new JLabel(" InfoEther(tm) PMD JDeveloper plugin"), BorderLayout.NORTH);
JPanel customStoragePanel = new JPanel(new BorderLayout());
customStoragePanel.setBorder(BorderFactory.createTitledBorder("Settings storage"));