Fix for #4099 - UriFragmentUtility does not work in Opera

svn changeset:11015/svn branch:6.2

diff --git a/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml b/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
index d7cf1ca4d0965c1cd1fc61cd01f9ff626ea714f2..8918b4b5e788c544c507553c5ae4615345415ab3 100644 (file)
--- a/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
+++ b/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml
@@ -27,6 +27,12 @@
                <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>