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

Various tweaks to the PMD Swing UI thanks to Niels Peter Strandberg

Browse Source 
git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@1884 51baf565-9d33-0410-a72c-fc3788e3496d
This commit is contained in:
Tom Copeland
2003-05-07 14:06:58 +00:00
parent 0046fdb832
commit e2927156eb
5 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pmd/src/net/sourceforge/pmd/swingui/ComponentFactory.java
View File

@ -69,7 +69,7 @@ class ComponentFactory {
}
button = new JButton(title);
lineBorder = new LineBorder(background.darker(), 1, true);
lineBorder = new LineBorder(Color.DARK_GRAY, 1, true);
bevelBorder = new BevelBorder(BevelBorder.RAISED);
compoundBorder = new CompoundBorder(bevelBorder, lineBorder);
etchedBorder = new EtchedBorder(EtchedBorder.LOWERED);

5
pmd/src/net/sourceforge/pmd/swingui/HTMLResultRenderer.java
View File

@ -88,8 +88,9 @@ class HTMLResultRenderer {
m_writer.write(fileName);
m_writer.write("\n<br>\n");
Color pmdGray = UIManager.getColor("pmdGray");
String hexValue = Integer.toHexString(pmdGray.getRGB());
//Color pmdGray = UIManager.getColor("pmdGray");
//String hexValue = Integer.toHexString(pmdGray.getRGB());
String hexValue = Integer.toHexString(Color.WHITE.getRGB());
if (hexValue.startsWith("0x")) {
hexValue = hexValue.substring(2);

4
pmd/src/net/sourceforge/pmd/swingui/PMDViewer.java
View File

@ -109,9 +109,7 @@ public class PMDViewer extends JFrame {
// Setup the User Interface based on this computer's operating system.
// This must be done before calling Java and Swing classes that call the GUI.
String useLookAndFeel = "net.sourceforge.pmd.swingui.PMDLookAndFeel";
UIManager.setLookAndFeel(useLookAndFeel);
UIManager.setLookAndFeel("net.sourceforge.pmd.swingui.PMDLookAndFeel");
PMDViewer pmdViewer = new PMDViewer();
pmdViewer.setVisible(true);

2
pmd/src/net/sourceforge/pmd/swingui/PreferencesEditor.java
View File

@ -208,7 +208,7 @@ class PreferencesEditor extends JPanel {
fontMetrics = button.getFontMetrics(button.getFont());
width = fontMetrics.stringWidth(button.getText()) + 50;
size = new Dimension(width, button.getHeight());
button.setSize(size);
//button.setSize(size);
button.setPreferredSize(size);
button.setMinimumSize(size);
button.setMaximumSize(size);

1
pmd/xdocs/credits.xml
View File

@ -10,6 +10,7 @@
<section name="Credits">
<subsection name="Individuals">
<ul>
<li>Niels Peter Strandberg - various tweaks to the PMD Swing UI</li>
<li>Ian Shef - documentation updates, bug reports on the Gel IDE plugin</li>
<li>Astro Jetson Jr - a tweak for the ShortVariableNameRule</li>
<li>Paul King - a complete rewrite of the Gel plugin</li>