user/src/com/google/gwt/useragent/UserAgent.gwt.xml

<!--                                                                        -->
<!-- Copyright 2007 Google Inc.                                             -->
<!-- Licensed under the Apache License, Version 2.0 (the "License"); you    -->
<!-- may not use this file except in compliance with the License. You may   -->
<!-- may obtain a copy of the License at                                    -->
<!--                                                                        -->
<!-- http://www.apache.org/licenses/LICENSE-2.0                             -->
<!--                                                                        -->
<!-- Unless required by applicable law or agreed to in writing, software    -->
<!-- distributed under the License is distributed on an "AS IS" BASIS,      -->
<!-- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or        -->
<!-- implied. License for the specific language governing permissions and   -->
<!-- limitations under the License.                                         -->

<!-- Defines the user.agent property and its provider function.             -->
<!--                                                                        -->
<!-- This module is typically inherited via com.google.gwt.user.User        -->
<!--                                                                        -->
<module>

  <!-- Browser-sensitive code should use the 'user.agent' property -->
  <define-property name="user.agent" values="ie6" />
  <extend-property name="user.agent" values="ie8" />
  <extend-property name="user.agent" values="gecko1_8" />
  <extend-property name="user.agent" values="safari" />
  <extend-property name="user.agent" values="opera" />
  <extend-property name="user.agent" values="ie9" fallback-value="ie8" />
  <property-provider name="user.agent" generator="com.google.gwt.useragent.rebind.UserAgentPropertyGenerator"/>

  <!-- Set to false to avoid runtime warnings for mismatched runtime and -->
  <!-- compile time user.agent values -->
  <define-configuration-property name="user.agent.runtimeWarning"
    is-multi-valued="false" />
  <set-configuration-property name="user.agent.runtimeWarning" value="true"/>

  <!--
    If set to "modern", GWT widgets will sometimes attempt to use new web API's that
    aren't yet standardized (such as prefixed API's). The "stable" setting turns this off.
    If recompiling and redeploying your GWT app when someone reports a browser bug would be
    a problem, you should choose "stable".
  -->
  <define-property name="webApiUsage" values="stable,modern"/>
  <set-property name="webApiUsage" value="modern"/>

  <!-- Asserts that the compile time user.agent value matches the runtime -->
  <!-- user.agent value -->
  <entry-point class="com.google.gwt.useragent.client.UserAgentAsserter" />

  <generate-with class="com.google.gwt.useragent.rebind.UserAgentGenerator">
    <when-type-assignable class="com.google.gwt.useragent.client.UserAgentAsserter.UserAgentProperty" />
  </generate-with>

  <!-- Deferred binding to optimize JRE classes based on user agent. -->
  <inherits name="com.google.gwt.emul.EmulationWithUserAgent"/>
  <inherits name="com.google.gwt.core.CoreWithUserAgent"/>
</module>