I'll test this out and submit it.
http://gwt-code-reviews.appspot.com/1355805/diff/6003/user/src/com/google/gwt/user/client/ui/DeckPanel.java
File user/src/com/google/gwt/user/client/ui/DeckPanel.java (right):
http://gwt-code-reviews.appspot.com/1355805/diff/6003/user/src/com/google/gwt/user/client/ui/DeckPanel.java#newcode125
user/src/com/google/gwt/user/client/ui/DeckPanel.java:125: // the rest
of the page, even if it's not visible to the user, .
extra comma
I'll submit this change soon. Thanks again for the patch.
http://gwt-code-reviews.appspot.com/1355805/diff/6003/user/src/com/google/gwt/animation/Animation.gwt.xml
File user/src/com/google/gwt/animation/Animation.gwt.xml (right):
http://gwt-code-reviews.appspot.com/1355805/diff/6003/user/src/com/google/gwt/animation/Animation.gwt.xml#newcode62
user/src/com/google/gwt/animation/Animation.gwt.xml:62:
<when-property-is name="user.agent" value="webkit"/>
The user agent value should be safari instead of webkit.