Мне было интересно, каковы возможные значения user.agent в gwt.xml. Я нашел некоторые из них, но, к сожалению, не полный список.
- Chrome - сафари
- Firefox - gecko1_8
- Internet Explorer 6 - ie6
Что другие? Opera, ie7, ie8,... и т.д.
Каковы возможные значения user.agent в gwt.xml?
Ответ 1
Зависит от версии GWT, но здесь последняя: https://gwt.googlesource.com/gwt/+/master/user/src/com/google/gwt/useragent/UserAgent.gwt.xml
UPDATE: модуль переместился с com.google.gwt.user.UserAgent на com.google.gwt.useragent.UserAgent, ссылка выше обновлена.
ОБНОВЛЕНИЕ 2: источники GWT перешли на gwt.googlesource.com