User.Agent for GWT 2.6?

Question

Which user.agent properties are available for GWT 2.6 I found:

gecko1_8, safari, ie10, ie8,ie9,opera

When you want to use ie8,ie9,opera you have to enable them with:

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

Did I miss any user agent? Which permutation is used by IE11?

Answer 1

You only need to <extend-property> for ie6 and opera, which are disabled by default (and will be removed in the next version).

IE11 uses the same permutation as Firefox, i.e. gecko1_8.