From: Artur Signell <artur.signell@itmill.com>
Date: Fri, 4 Sep 2009 13:24:27 +0000 (+0000)
Subject: Fix for #3285 - Remove IE8 fixes from PortalWidgetSet
X-Git-Tag: 6.7.0.beta1~2513
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=63ac3445829fd74a4a319ade4d6df5aafe08cf08;p=vaadin-framework.git

Fix for #3285 - Remove IE8 fixes from PortalWidgetSet

svn changeset:8671/svn branch:6.1
---

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"/>