<!--
  Copyright 2011 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 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. See the
  License for the specific language governing permissions and limitations under
  the License.
-->
<module type="fileset">
  <inherits name="com.google.gwt.user.User"/>

  <!-- IE doesn't fire a scroll event when the DOM is resized. -->
  <replace-with class="com.google.gwt.user.client.ui.ScrollImpl.ScrollImplTrident">
    <when-type-is class="com.google.gwt.user.client.ui.ScrollImpl"/>
    <!-- Order is important here, otherwise IE10 falls back to IE9 -->
    <none>
      <when-property-is name="user.agent" value="ie10"/>
    </none>
    <any>
      <when-property-is name="user.agent" value="ie6"/>
      <when-property-is name="user.agent" value="ie8"/>
      <when-property-is name="user.agent" value="ie9"/>
    </any>
  </replace-with>
</module>