Каковы возможные значения user.agent в gwt.xml?

Question

Мне было интересно, каковы возможные значения user.agent в gwt.xml.Я нашел некоторые из них, но, к сожалению, не полный список.

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

Какие остальные ??Opera, т.е. 7, ie8, ... и т. Д.

Answer 1

Зависит от версии GWT, но вот последняя: https://gwt.googlesource.com/gwt/+/master/user/src/com/google/gwt/useragent/UserAgent.gwt.xml

ОБНОВЛЕНИЕ : модуль перемещен с com.google.gwt.user.UserAgent на com.google.gwt.useragent.UserAgent, ссылка выше обновлена.

ОБНОВЛЕНИЕ 2 : источники GWT перемещены на gwt.googlesource.com