#7913 Removed IE7 specific code from Button

diff --git a/src/com/vaadin/terminal/gwt/client/ui/VButton.java b/src/com/vaadin/terminal/gwt/client/ui/VButton.java
index 3df623415ade4e628a6642291a8b173b038d5ae6..5c940eab12450d82993ac98eb208bd4ba29d1e82 100644 (file)
--- a/src/com/vaadin/terminal/gwt/client/ui/VButton.java
+++ b/src/com/vaadin/terminal/gwt/client/ui/VButton.java
@@ -143,11 +143,6 @@ public class VButton extends FocusWidget implements Paintable, ClickHandler,
             }
             wrapper.insertBefore(errorIndicatorElement, captionElement);
 
-            // Fix for IE7
-            if (BrowserInfo.get().isIE7()) {
-                errorIndicatorElement.setInnerText(" ");
-            }
-
         } else if (errorIndicatorElement != null) {
             wrapper.removeChild(errorIndicatorElement);
             errorIndicatorElement = null;
@@ -451,25 +446,6 @@ public class VButton extends FocusWidget implements Paintable, ClickHandler,
         }
     }
 
-    @Override
-    public void setWidth(String width) {
-        if (BrowserInfo.get().isIE7()) {
-            if (width != null && width.length() > 2) {
-                // Assume pixel values are always sent from
-                // ApplicationConnection
-                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";
-            }
-        }
-        super.setWidth(width);
-    }
-
     private static native int getHorizontalBorderAndPaddingWidth(Element elem)
     /*-{
         // THIS METHOD IS ONLY USED FOR INTERNET EXPLORER, IT DOESN'T WORK WITH OTHERS