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

Added visual status indicator.

Browse Source 
git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@964 51baf565-9d33-0410-a72c-fc3788e3496d
This commit is contained in:
Don Leckie
2002-09-15 22:23:46 +00:00
parent 9968b1d1ff
commit e06f9fbc73
2 changed files with 258 additions and 47 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
pmd/src/net/sourceforge/pmd/swingui/PMDLookAndFeel.java
View File

@ -106,6 +106,7 @@ public class PMDLookAndFeel extends WindowsLookAndFeel
"pmdTreeBackground", "#F5F5F5",
"pmdTableBackground", "#F5F5F5",
"pmdMessageAreaBackground", "#F5F5F5",
"pmdStatusAreaBackground", "#F5F5F5",
"mediumGray", "#686868",
"mediumDarkGray", "#434343",
"paleGray", "#AAAAAA",
@ -131,28 +132,28 @@ public class PMDLookAndFeel extends WindowsLookAndFeel
Class plafClass = PMDLookAndFeel.class;
Object[] defaults =
{
"document", LookAndFeel.makeIcon(plafClass, "icons/document.gif"),
"save", LookAndFeel.makeIcon(plafClass, "icons/save.gif"),
"saveAs", LookAndFeel.makeIcon(plafClass, "icons/saveAs.gif"),
"print", LookAndFeel.makeIcon(plafClass, "icons/print.gif"),
"copy", LookAndFeel.makeIcon(plafClass, "icons/copy.gif"),
"edit", LookAndFeel.makeIcon(plafClass, "icons/edit.gif"),
"view", LookAndFeel.makeIcon(plafClass, "icons/view.gif"),
"help", LookAndFeel.makeIcon(plafClass, "icons/help.gif"),
"pmdLogo", LookAndFeel.makeIcon(plafClass, "icons/pmdLogo.gif"),
"pmdLogoImage", getImageIcon("icons/pmdLogo.jpg"),
"labelFont", new Font("Dialog", Font.BOLD, 12),
"label14Font", new Font("Dialog", Font.BOLD, 14),
"label16Font", new Font("Dialog", Font.BOLD, 16),
"dataFont", new Font("Dialog", Font.PLAIN, 12),
"codeFont", new Font("Monospaced", Font.PLAIN, 12),
"tabFont", new Font("SansSerif", Font.BOLD, 12),
"titleFont", new Font("SansSerif", Font.BOLD, 14),
"buttonFont", new Font("SansSerif", Font.BOLD, 12),
"messageFont", new Font("Dialog", Font.PLAIN, 12),
"serif12Font", new Font("Serif", Font.PLAIN, 12),
"serif14Font", new Font("Serif", Font.PLAIN, 14),
"viewerProperties", loadViewerProperties(),
"document", LookAndFeel.makeIcon(plafClass, "icons/document.gif"),
"save", LookAndFeel.makeIcon(plafClass, "icons/save.gif"),
"saveAs", LookAndFeel.makeIcon(plafClass, "icons/saveAs.gif"),
"print", LookAndFeel.makeIcon(plafClass, "icons/print.gif"),
"copy", LookAndFeel.makeIcon(plafClass, "icons/copy.gif"),
"edit", LookAndFeel.makeIcon(plafClass, "icons/edit.gif"),
"view", LookAndFeel.makeIcon(plafClass, "icons/view.gif"),
"help", LookAndFeel.makeIcon(plafClass, "icons/help.gif"),
"pmdLogo", LookAndFeel.makeIcon(plafClass, "icons/pmdLogo.gif"),
"pmdLogoImage", getImageIcon("icons/pmdLogo.jpg"),
"labelFont", new Font("Dialog", Font.BOLD, 12),
"label14Font", new Font("Dialog", Font.BOLD, 14),
"label16Font", new Font("Dialog", Font.BOLD, 16),
"dataFont", new Font("Dialog", Font.PLAIN, 12),
"codeFont", new Font("Monospaced", Font.PLAIN, 12),
"tabFont", new Font("SansSerif", Font.BOLD, 12),
"titleFont", new Font("SansSerif", Font.BOLD, 14),
"buttonFont", new Font("SansSerif", Font.BOLD, 12),
"messageFont", new Font("Dialog", Font.PLAIN, 12),
"serif12Font", new Font("Serif", Font.PLAIN, 12),
"serif14Font", new Font("Serif", Font.PLAIN, 14),
"viewerProperties", loadViewerProperties(),
// These are all the icons defined in the WindowsLookAndFeel. We redefine them
// here because of the way they are defined in that class: in terms of the return

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

File diff suppressed because it is too large Load Diff