#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 8918b4b5e788c544c507553c5ae4615345415ab3..d7cf1ca4d0965c1cd1fc61cd01f9ff626ea714f2 100644 (file)
--- 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>