user/src/com/google/gwt/dom/DOM.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.                                         -->

<!-- Deferred binding rules for browser selection.                          -->
<!--                                                                        -->
<!-- This module is typically inherited via com.google.gwt.user.User        -->
<!--                                                                        -->
<module>
  <inherits name="com.google.gwt.core.Core"/>
  <inherits name="com.google.gwt.canvas.dom.DOM"/>
  <inherits name="com.google.gwt.media.dom.DOM"/>
  <inherits name="com.google.gwt.safehtml.SafeHtml"/>
  <inherits name="com.google.gwt.useragent.UserAgent"/>
  <source path="client" />
  <public path="public" />

  <replace-with class="com.google.gwt.dom.client.DOMImplWebkit">
    <when-type-is class="com.google.gwt.dom.client.DOMImpl"/>
    <when-property-is name="user.agent" value="safari"/>
  </replace-with>

  <replace-with class="com.google.gwt.dom.client.DOMImplIE9">
    <when-type-is class="com.google.gwt.dom.client.DOMImpl"/>
    <any>
      <when-property-is name="user.agent" value="ie9"/>
      <when-property-is name="user.agent" value="ie10"/>
    </any>
  </replace-with>

  <replace-with class="com.google.gwt.dom.client.DOMImplIE8">
    <when-type-is class="com.google.gwt.dom.client.DOMImpl"/>
    <when-property-is name="user.agent" value="ie8"/>
  </replace-with>

  <replace-with class="com.google.gwt.dom.client.DOMImplMozilla">
    <when-type-is class="com.google.gwt.dom.client.DOMImpl"/>
    <when-property-is name="user.agent" value="gecko1_8"/>
  </replace-with>

  <replace-with class="com.google.gwt.dom.client.StyleInjector.StyleInjectorImplIE">
    <when-type-is class="com.google.gwt.dom.client.StyleInjector.StyleInjectorImpl"/>
    <any>
      <when-property-is name="user.agent" value="ie8"/>
      <when-property-is name="user.agent" value="ie9"/>
      <when-property-is name="user.agent" value="ie10"/>
    </any>
  </replace-with>
</module>