This is the mail archive of the
mauve-patches@sourceware.org
mailing list for the Mauve project.
FYI: MetalLookAndFeel / 'Button.margin'
- From: David Gilbert <david dot gilbert at object-refinery dot com>
- To: mauve-patches at sources dot redhat dot com
- Date: Wed, 19 Oct 2005 13:45:09 +0100
- Subject: FYI: MetalLookAndFeel / 'Button.margin'
I added an additional check for the 'Button.margin' default:
2005-10-19 David Gilbert <david.gilbert@object-refinery.com>
* gnu/testlet/javax/swing/plaf/metal/MetalLookAndFeel/getDefaults.java
(test): an additional check for 'Button.margin'.
Regards,
Dave
Index: gnu/testlet/javax/swing/plaf/metal/MetalLookAndFeel/getDefaults.java
===================================================================
RCS file: /cvs/mauve/mauve/gnu/testlet/javax/swing/plaf/metal/MetalLookAndFeel/getDefaults.java,v
retrieving revision 1.5
diff -u -r1.5 getDefaults.java
--- gnu/testlet/javax/swing/plaf/metal/MetalLookAndFeel/getDefaults.java 13 Oct 2005 11:00:58 -0000 1.5
+++ gnu/testlet/javax/swing/plaf/metal/MetalLookAndFeel/getDefaults.java 19 Oct 2005 12:42:48 -0000
@@ -28,6 +28,7 @@
import java.awt.Color;
import java.awt.Dimension;
import java.awt.Font;
+import java.awt.Insets;
import java.util.Arrays;
import java.util.List;
@@ -44,6 +45,7 @@
import javax.swing.plaf.FontUIResource;
import javax.swing.plaf.InputMapUIResource;
import javax.swing.plaf.InsetsUIResource;
+import javax.swing.plaf.UIResource;
import javax.swing.plaf.BorderUIResource.LineBorderUIResource;
import javax.swing.plaf.basic.BasicBorders;
import javax.swing.plaf.metal.DefaultMetalTheme;
@@ -245,7 +247,9 @@
harness.check(defaults.get("Button.foreground"), new ColorUIResource(0, 0, 10));
harness.check(defaults.get("Button.highlight"), new ColorUIResource(0, 0, 7));
harness.check(defaults.get("Button.light"), new ColorUIResource(0, 0, 7));
- harness.check(defaults.get("Button.margin"), new InsetsUIResource(2, 14, 2, 14));
+ Insets buttonMargin = defaults.getInsets("Button.margin");
+ harness.check(buttonMargin instanceof UIResource);
+ harness.check(buttonMargin, new InsetsUIResource(2, 14, 2, 14));
harness.check(defaults.get("Button.select"), new ColorUIResource(0, 0, 9));
harness.check(defaults.get("Button.shadow"), new ColorUIResource(0, 0, 9));
harness.check(defaults.get("Button.textIconGap"), new Integer(4));