java - Agent.Utilisateur pour GWT 2.6 ?

Quelles propriétés user.agent sont disponibles pour GWT 2.6 que j'ai trouvées :

gecko1_8, safari, ie10, ie8,ie9,opera

Lorsque vous souhaitez utiliser ie8, ie9, opera, vous devez les activer avec :

<extend-property name="user.agent" values="ie8,ie9,opera" />

Ai-je manqué un agent utilisateur ? Quelle permutation est utilisée par IE11 ?

Réponse #1

Vous n’avez qu’à <extend-property> pour ie6 et Opera, qui sont désactivés par défaut (et seront retirés dans la prochaine version).

IE11 utilise la même permutation que Firefox, c’est-à-dire gecko1_8.