Je me demandais quelles sont les valeurs possibles de user.agent dans gwt.xml. J'en ai trouvé certains mais malheureusement pas la liste complète.
Quels sont les autres ?? Opera, ie7, ie8, ... etc.
Dépend de la version de GWT, mais voici la dernière: https://gwt.googlesource.com/gwt/+/master/user/src/com/google/gwt/useragent/UserAgent.gwt.xml
[~ # ~] mise à jour [~ # ~] : le module est passé de com.google.gwt.user.UserAgent
à com.google.gwt.useragent.UserAgent
, lien ci-dessus mis à jour.
MISE À JOUR 2 : les sources GWT sont passées à gwt.googlesource.com