http://gwt-code-reviews.appspot.com/126812
git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@7553 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/user/src/com/google/gwt/user/History.gwt.xml b/user/src/com/google/gwt/user/History.gwt.xml
index bad06a1..3fd787c 100644
--- a/user/src/com/google/gwt/user/History.gwt.xml
+++ b/user/src/com/google/gwt/user/History.gwt.xml
@@ -30,7 +30,13 @@
</any>
</replace-with>
- <!-- Safari has yet another slightly different implementation. -->
+ <!-- Opera has yet another slightly different implementation. -->
+ <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>
+
+ <!-- Safari is almost like Opera, but again slightly different. -->
<replace-with class="com.google.gwt.user.client.impl.HistoryImplSafari">
<when-type-is class="com.google.gwt.user.client.impl.HistoryImpl"/>
<when-property-is name="user.agent" value="safari"/>
