Does anyone know of a definitive list of GWT's user.agent properties and the targeted browsers? I'll be damned if I can find such a thing anywhere on the web!
Latest gwt "user.agent" property values can be found in UserAgent.gwt.xml file:
<define-property name="user.agent" values="ie6" /> <!-- ie6 also matches ie7-->
<extend-property name="user.agent" values="ie8" />
<extend-property name="user.agent" values="gecko1_8" /> <!-- Firefox 3.0+ -->
<extend-property name="user.agent" values="safari" /> <!-- Webkit based browsers, usually Safari&Chrome-->
<extend-property name="user.agent" values="opera" />
<extend-property name="user.agent" values="ie9" fallback-value="ie8" />
Code which resolves property values can be found at class com.google.gwt.useragent.rebind.UserAgentPropertyGenerator
But this values vary from version to version, also sometimes default values and property provider can be overridden.