]> source.dussan.org Git - vaadin-framework.git/commitdiff
fixes #2058 (100% height textfields in IE)
authorMatti Tahvonen <matti.tahvonen@itmill.com>
Mon, 8 Sep 2008 09:56:30 +0000 (09:56 +0000)
committerMatti Tahvonen <matti.tahvonen@itmill.com>
Mon, 8 Sep 2008 09:56:30 +0000 (09:56 +0000)
svn changeset:5370/svn branch:trunk

src/com/itmill/toolkit/terminal/gwt/client/ui/ITextField.java

index 7e83ce09922f99050249b3cffde82b80ab12b5da..8e2d874384f622ca47cca6250238c85ba3396b33 100644 (file)
@@ -12,6 +12,7 @@ import com.google.gwt.user.client.ui.FocusListener;
 import com.google.gwt.user.client.ui.TextBoxBase;
 import com.google.gwt.user.client.ui.Widget;
 import com.itmill.toolkit.terminal.gwt.client.ApplicationConnection;
+import com.itmill.toolkit.terminal.gwt.client.BrowserInfo;
 import com.itmill.toolkit.terminal.gwt.client.ContainerResizedListener;
 import com.itmill.toolkit.terminal.gwt.client.ITooltip;
 import com.itmill.toolkit.terminal.gwt.client.Paintable;
@@ -217,6 +218,11 @@ public class ITextField extends TextBoxBase implements Paintable, Field,
         DOM.appendChild(DOM.getParent(getElement()), clone);
         extraHorizontalPixels = DOM.getElementPropertyInt(clone, "offsetWidth") - 10;
         extraVerticalPixels = DOM.getElementPropertyInt(clone, "offsetHeight") - 10;
+        if (BrowserInfo.get().isIE()) {
+            // IE just don't accept 0 margin for textarea #2058
+            extraVerticalPixels += 2;
+        }
+
         DOM.removeChild(DOM.getParent(getElement()), clone);
     }