What user.agent property does GWT use for IE7?

Question

I noticed there us no "user.agent" ie7 defined in GWT for permutation compilation.

If I want to have a specific implementation of a class for ie7 how could I define this? If the user.agent is ie6 I will just use that user.agent as we do not support ie6.

Answer 1

ie6 is used for Internet Explorer 6 and 7. UserAgent.gwt.xml lists the user.agent deferred binding properties defined by GWT.