User.Agent for GWT 2.6?
gwt, java, javascript, user-agent
Solution
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.
Problem
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?