gwt.xml 中可能的 user.agent 值是什么?

声明:本页面是StackOverFlow热门问题的中英对照翻译,遵循CC BY-SA 4.0协议,如果您需要使用它,必须同样遵循CC BY-SA许可,注明原文地址和作者信息,同时你必须将它归于原作者(不是我):StackOverFlow 原文地址: http://stackoverflow.com/questions/7992678/
Warning: these are provided under cc-by-sa 4.0 license. You are free to use/share it, But you must attribute it to the original authors (not me): StackOverFlow

提示:将鼠标放在中文语句上可以显示对应的英文。显示中英文
时间:2020-09-06 15:00:50  来源:igfitidea点击:

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

xmlgwtproperties

提问by Kayser

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

我想知道 gwt.xml 中可能的 user.agent 值是什么。我找到了其中一些,但不幸的是不是完整的列表。

  • Chrome - safari
  • Firefox - gecko1_8
  • Internet Explorer 6 - ie6
  • 铬 - 野生动物园
  • 火狐 - gecko1_8
  • Internet Explorer 6 - ie6

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

其他的呢??歌剧,ie7,ie8,...等。

回答by Thomas Broyer

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

取决于 GWT 的版本,但这里是最新的: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.UserAgentto com.google.gwt.useragent.UserAgent, link above updated.

更新:模块已从com.google.gwt.user.UserAgent移至com.google.gwt.useragent.UserAgent,上面的链接已更新。

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

更新 2:GWT 源已移至 gwt.googlesource.com