java - ¿User.Agent para GWT 2.6?

Qué propiedades de user.agent están disponibles para GWT 2.6 que encontré:

gecko1_8, safari, ie10, ie8,ie9,opera

Cuando quieras usar ie8, ie9, opera tienes que habilitarlos con:

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

¿Me perdí algún agente de usuario? ¿Qué permutación usa IE11?

Respuesta #1

Solo necesitas <extend-property> para ie6 y opera, los cuales están desactivados por defecto (y se eliminarán en la próxima versión).

IE11 usa la misma permutación que Firefox, es decir, gecko1_8.