| <!-- |
| 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> |