java - User.Agent para GWT 2.6?

Quais propriedades do user.agent estão disponíveis para GWT 2.6 que encontrei:

gecko1_8, safari, ie10, ie8,ie9,opera

Quando quiser usar ie8, ie9, opera, tem de os ativar com:

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

Perdi algum agente de utilizador? Qual permutação é usada pelo IE11?

Resposta #1

Só precisa de <extend-property> para o ie6 e o opera, que estão desativados por defeito (e serão removidos na próxima versão).

O IE11 usa a mesma permutação que o Firefox, ou seja, gecko1_8.