What are the possible user.agent values in gwt.xml?

Question

I was wondering what are the possible user.agent values in gwt.xml. I found some of them but unfortunately not the complete list.

• Chrome - safari
• Firefox - gecko1_8
• Internet Explorer 6 - ie6

What are the others?? Opera, ie7, ie8, ... etc.

Answer 1

Depends on the version of GWT, but here's the latest: https://gwt.googlesource.com/gwt/+/master/user/src/com/google/gwt/useragent/UserAgent.gwt.xml

UPDATE: the module has moved from com.google.gwt.user.UserAgent to com.google.gwt.useragent.UserAgent, link above updated.

UPDATE 2: GWT sources have moved to gwt.googlesource.com