http://gwt-code-reviews.appspot.com/1354806/diff/1/2 File user/src/com/google/gwt/user/UserAgent.gwt.xml (right):
http://gwt-code-reviews.appspot.com/1354806/diff/1/2#newcode38 user/src/com/google/gwt/user/UserAgent.gwt.xml:38: var ua = navigator.userAgent.toLowerCase(); Per offline discussion, this code probably still needs to live in a java file somewhere, so that Fred's code which checks to make sure the correct permutation was launched can stay in sync. UserAgentPropertyGenerator needs to be refactored, not retired. http://gwt-code-reviews.appspot.com/1354806/diff/1/2#newcode50 user/src/com/google/gwt/user/UserAgent.gwt.xml:50: </property-provider> Worth adding a comment here and in similar places: <!-- Set deprecated legacy user.agent value --> http://gwt-code-reviews.appspot.com/1354806/show -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
