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);