xml gwt properties

¿Cuáles son los valores posibles de user.agent en gwt.xml?



properties (1)

Depende de la versión de GWT, pero esta es la última: https://gwt.googlesource.com/gwt/+/master/user/src/com/google/gwt/useragent/UserAgent.gwt.xml

ACTUALIZACIÓN : el módulo se ha movido de com.google.gwt.user.UserAgent a com.google.gwt.useragent.UserAgent , enlace arriba actualizado.

ACTUALIZACIÓN 2 : las fuentes de GWT se han trasladado a gwt.googlesource.com

Me preguntaba cuáles son los posibles valores de user.agent en gwt.xml. Encontré algunos de ellos, pero desafortunadamente no la lista completa.

  • Chrome - safari
  • Firefox - gecko1_8
  • Internet Explorer 6 - ie6

¿Cuáles son los otros? Opera, es decir, 7, ie8, ... etc.