From fa74571bfbb441d901272cea65a95ea9cb1a356c Mon Sep 17 00:00:00 2001
From: Artur Signell <artur.signell@itmill.com>
Date: Mon, 1 Mar 2010 13:52:23 +0000
Subject: [PATCH] #4240 - Remove URIFragmentUtility workaround (#4099)

svn changeset:11559/svn branch:6.3
---
 src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml | 6 ------
 1 file changed, 6 deletions(-)

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>
-- 
2.39.5