You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@pivot.apache.org by sm...@apache.org on 2009/12/02 10:21:53 UTC
svn commit: r886083 -
/incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/
Author: smartini
Date: Wed Dec 2 09:21:49 2009
New Revision: 886083
URL: http://svn.apache.org/viewvc?rev=886083&view=rev
Log:
fixed warning (by FindBugs) of integer division when needed a float value
Modified:
incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraCalendarButtonSkin.java
incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraColorChooserButtonSkin.java
incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraListButtonSkin.java
incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraMenuButtonSkin.java
incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraPushButtonSkin.java
incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraTableViewHeaderSkin.java
Modified: incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraCalendarButtonSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraCalendarButtonSkin.java?rev=886083&r1=886082&r2=886083&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraCalendarButtonSkin.java (original)
+++ incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraCalendarButtonSkin.java Wed Dec 2 09:21:49 2009
@@ -237,7 +237,7 @@
// Paint the background
graphics.setPaint(new GradientPaint(width / 2f, 0, bevelColor,
- width / 2f, height / 2, backgroundColor));
+ width / 2f, height / 2f, backgroundColor));
graphics.fillRect(0, 0, width, height);
// Paint the border
Modified: incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraColorChooserButtonSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraColorChooserButtonSkin.java?rev=886083&r1=886082&r2=886083&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraColorChooserButtonSkin.java (original)
+++ incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraColorChooserButtonSkin.java Wed Dec 2 09:21:49 2009
@@ -183,7 +183,7 @@
// Paint the background
graphics.setPaint(new GradientPaint(width / 2f, 0, bevelColor,
- width / 2f, height / 2, backgroundColor));
+ width / 2f, height / 2f, backgroundColor));
graphics.fillRect(0, 0, width, height);
// Paint the border
Modified: incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraListButtonSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraListButtonSkin.java?rev=886083&r1=886082&r2=886083&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraListButtonSkin.java (original)
+++ incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraListButtonSkin.java Wed Dec 2 09:21:49 2009
@@ -264,7 +264,7 @@
// Paint the background
graphics.setPaint(new GradientPaint(width / 2f, 0, bevelColor,
- width / 2f, height / 2, backgroundColor));
+ width / 2f, height / 2f, backgroundColor));
graphics.fillRect(0, 0, width, height);
// Paint the border
Modified: incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraMenuButtonSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraMenuButtonSkin.java?rev=886083&r1=886082&r2=886083&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraMenuButtonSkin.java (original)
+++ incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraMenuButtonSkin.java Wed Dec 2 09:21:49 2009
@@ -186,7 +186,7 @@
if (backgroundColor != null
&& bevelColor != null) {
graphics.setPaint(new GradientPaint(width / 2f, 0, bevelColor,
- width / 2f, height / 2, backgroundColor));
+ width / 2f, height / 2f, backgroundColor));
graphics.fillRect(0, 0, width, height);
}
Modified: incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraPushButtonSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraPushButtonSkin.java?rev=886083&r1=886082&r2=886083&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraPushButtonSkin.java (original)
+++ incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraPushButtonSkin.java Wed Dec 2 09:21:49 2009
@@ -219,7 +219,7 @@
if (backgroundColor != null
&& bevelColor != null) {
graphics.setPaint(new GradientPaint(width / 2f, 0, bevelColor,
- width / 2f, height / 2, backgroundColor));
+ width / 2f, height / 2f, backgroundColor));
graphics.fillRect(0, 0, width, height);
}
Modified: incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraTableViewHeaderSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraTableViewHeaderSkin.java?rev=886083&r1=886082&r2=886083&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraTableViewHeaderSkin.java (original)
+++ incubator/pivot/trunk/wtk-terra/src/org/apache/pivot/wtk/skin/terra/TerraTableViewHeaderSkin.java Wed Dec 2 09:21:49 2009
@@ -265,8 +265,8 @@
borderColor = disabledBorderColor;
}
- graphics.setPaint(new GradientPaint(width / 2, 0, bevelColor,
- width / 2, height, backgroundColor));
+ graphics.setPaint(new GradientPaint(width / 2f, 0, bevelColor,
+ width / 2f, height, backgroundColor));
graphics.fillRect(0, 0, width, height);
// Paint the border