From 63ac3445829fd74a4a319ade4d6df5aafe08cf08 Mon Sep 17 00:00:00 2001
From: Artur Signell <artur.signell@itmill.com>
Date: Fri, 4 Sep 2009 13:24:27 +0000
Subject: [PATCH] Fix for #3285 - Remove IE8 fixes from PortalWidgetSet

svn changeset:8671/svn branch:6.1
---
 .../portal/gwt/PortalDefaultWidgetSet.gwt.xml | 31 +------------------
 1 file changed, 1 insertion(+), 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"/>
 	
-- 
2.39.5