You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@pivot.apache.org by gb...@apache.org on 2010/02/06 00:14:00 UTC

svn commit: r907127 - in /pivot/trunk: build.xml wtk/src/org/apache/pivot/wtk/skin/BorderSkin.java

Author: gbrown
Date: Fri Feb  5 23:14:00 2010
New Revision: 907127

URL: http://svn.apache.org/viewvc?rev=907127&view=rev
Log:
Fix paint bug in BorderSkin.

Modified:
    pivot/trunk/build.xml
    pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/BorderSkin.java

Modified: pivot/trunk/build.xml
URL: http://svn.apache.org/viewvc/pivot/trunk/build.xml?rev=907127&r1=907126&r2=907127&view=diff
==============================================================================
--- pivot/trunk/build.xml (original)
+++ pivot/trunk/build.xml Fri Feb  5 23:14:00 2010
@@ -37,7 +37,7 @@
 
     <!-- Compiler properties -->
     <property name="compiler.deprecation" value="true"/>
-    <property name="compiler.debug" value="false"/>
+    <property name="compiler.debug" value="true"/>
     <property name="compiler.target" value="1.6"/>
     <property name="compiler.encoding" value="UTF-8"/>
     <property name="compiler.indexJars" value="true"/>

Modified: pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/BorderSkin.java
URL: http://svn.apache.org/viewvc/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/BorderSkin.java?rev=907127&r1=907126&r2=907127&view=diff
==============================================================================
--- pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/BorderSkin.java (original)
+++ pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/BorderSkin.java Fri Feb  5 23:14:00 2010
@@ -20,6 +20,7 @@
 import java.awt.Color;
 import java.awt.Font;
 import java.awt.Graphics2D;
+import java.awt.Paint;
 import java.awt.RenderingHints;
 import java.awt.font.FontRenderContext;
 import java.awt.font.LineMetrics;
@@ -234,9 +235,9 @@
         int strokeHeight = Math.max(height - (int)Math.ceil((topThickness + thickness) * 0.5), 0);
 
         // Draw the background
-        Color backgroundColor = getBackgroundColor();
-        if (backgroundColor != null) {
-            graphics.setPaint(backgroundColor);
+        Paint backgroundPaint = getBackgroundPaint();
+        if (backgroundPaint != null) {
+            graphics.setPaint(backgroundPaint);
 
             if (cornerRadius > 0) {
                 graphics.fillRoundRect(strokeX, strokeY, strokeWidth, strokeHeight, cornerRadius, cornerRadius);