Take the tour ×  As far as I know the "user.agent" property in
the Google Web Toolkit .gwt.xml file specifies the targets for
the Java to Java Script translation. Because the hosted mode
still runs Java and not Javascript I don't understand why google
chrome complains that the "user.agent" value is not set
correctly. Even more strange, it keeps complaining even if I add
"safari" to it with <set-property name="user.agent"
value="gecko1_8,safari" />.  What can I do here?  I use GWT
version 2.3.0 and GXT version 2.2.5.  share|improve this
question add comment  1 Answer  DevMode does not compile to
JavaScript but still has to honor deferred binding rules, and
many of them are based on the user.agent property, so it must be
correctly set.  The user.agent property value is determined by
some script snippet generated in the so-called selection script
(the *.nocache.js file), and the content of this script can
depend on the set-propertys you have in your GWT module(s).  For
instance, if you compile a GWT module with