¿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.