What are the possible user.agent values in gwt.xml?
Solution 1:
Depends on the version of GWT, but here's the latest: https://gwt.googlesource.com/gwt/+/master/user/src/com/google/gwt/useragent/UserAgent.gwt.xml
UPDATE: the module has moved from com.google.gwt.user.UserAgent to com.google.gwt.useragent.UserAgent, link above updated.
UPDATE 2: GWT sources have moved to gwt.googlesource.com