fixes #3929 VButton horizontal width now works with IE and a smaller-than-the-theme...

svn changeset:10608/svn branch:6.2

diff --git a/src/com/vaadin/terminal/gwt/client/ui/VButton.java b/src/com/vaadin/terminal/gwt/client/ui/VButton.java
index de1d7206186446bf84c1ac65ed57f7dbff45c3d1..36d9f5ec1e20007ac76051ef636728886376956e 100644 (file)
--- a/src/com/vaadin/terminal/gwt/client/ui/VButton.java
+++ b/src/com/vaadin/terminal/gwt/client/ui/VButton.java
@@ -394,6 +394,10 @@ public class VButton extends FocusWidget implements Paintable, ClickHandler {
                 int w = Integer
                         .parseInt(width.substring(0, width.length() - 2));
                 w -= getHorizontalBorderAndPaddingWidth(getElement());
+                if (w < 0) {
+                    // validity check for IE
+                    w = 0;
+                }
                 width = w + "px";
             }
         }