diff options
| author | Artur Signell <artur.signell@itmill.com> | 2009-09-04 13:24:27 +0000 |
|---|---|---|
| committer | Artur Signell <artur.signell@itmill.com> | 2009-09-04 13:24:27 +0000 |
| commit | 63ac3445829fd74a4a319ade4d6df5aafe08cf08 (patch) | |
| tree | b34ea7e8c8a83467e0983bc757d479ac6b4dad67 | |
| parent | 6992d121de4c8b142410592faf218774ed200d58 (diff) | |
| download | vaadin-framework-63ac3445829fd74a4a319ade4d6df5aafe08cf08.tar.gz vaadin-framework-63ac3445829fd74a4a319ade4d6df5aafe08cf08.zip | |
Fix for #3285 - Remove IE8 fixes from PortalWidgetSet
svn changeset:8671/svn branch:6.1
| -rw-r--r-- | src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml | 31 |
1 files changed, 1 insertions, 30 deletions
diff --git a/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml b/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml index fcc38fb66f..3e9527788d 100644 --- a/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml +++ b/src/com/vaadin/portal/gwt/PortalDefaultWidgetSet.gwt.xml @@ -1,36 +1,7 @@ <module> - <!-- Inherit the DefaultWidgetSet --> + <!-- Inherit the SamplerWidgetSet --> <inherits name="com.vaadin.demo.sampler.gwt.SamplerWidgetSet" /> - <!-- - Workaround for IE8 issues. To be removed when a new GWT version - arrives - --> - - <define-property name="vaadin.is.ie8" values="true,false" /> - - <property-provider name="vaadin.is.ie8"><![CDATA[ - var ua = navigator.userAgent.toLowerCase(); - - if (ua.indexOf("msie") != -1) { - if (document.documentMode >= 8) { - return "true"; - } - } - return "false"; - - ]]></property-provider> - - <replace-with class="com.google.gwt.user.client.ui.impl.PopupImpl"> - <when-type-is class="com.google.gwt.user.client.ui.impl.PopupImpl" /> - <when-property-is name="vaadin.is.ie8" value="true" /> - </replace-with> - - <replace-with class="com.google.gwt.user.client.ui.impl.ClippedImageImpl"> - <when-type-is class="com.google.gwt.user.client.ui.impl.ClippedImageImpl" /> - <when-property-is name="vaadin.is.ie8" value="true" /> - </replace-with> - <!-- Entry point --> <entry-point class="com.vaadin.portal.gwt.client.PortalDefaultWidgetSet"/> |