From: Artur Signell <artur.signell@itmill.com>
Date: Mon, 1 Mar 2010 13:52:23 +0000 (+0000)
Subject: #4240 - Remove URIFragmentUtility workaround (#4099)
X-Git-Tag: 6.7.0.beta1~2017
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=fa74571bfbb441d901272cea65a95ea9cb1a356c;p=vaadin-framework.git

#4240 - Remove URIFragmentUtility workaround (#4099)

svn changeset:11559/svn branch:6.3
---

diff --git a/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml b/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
index 8918b4b5e7..d7cf1ca4d0 100644
--- a/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
+++ b/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
@@ -27,12 +27,6 @@
 		<when-property-is name="user.agent" value="ie6"/>
 	</replace-with>
 
-	<!-- Opera needs a different implementation due to GWT issue 3956 (#4099) -->
-	<replace-with class="com.google.gwt.user.client.impl.HistoryImplTimer">
-		<when-type-is class="com.google.gwt.user.client.impl.HistoryImpl" />
-		<when-property-is name="user.agent" value="opera" />
-	</replace-with>
-
 	<generate-with class="com.vaadin.terminal.gwt.widgetsetutils.WidgetMapGenerator">
 		<when-type-is class="com.vaadin.terminal.gwt.client.WidgetMap"/>
 	</generate-with>