| <module> |
| <inherits name="com.google.gwt.core.Core"/> |
| <inherits name="com.google.gwt.user.UserAgent"/> |
| |
| <replace-with class="com.google.gwt.user.client.ui.impl.HyperlinkImplSafari"> |
| <when-type-is class="com.google.gwt.user.client.ui.impl.HyperlinkImpl"/> |
| <when-property-is name="user.agent" value="safari"/> |
| </replace-with> |
| |
| <replace-with class="com.google.gwt.user.client.ui.impl.HyperlinkImplIE"> |
| <when-type-is class="com.google.gwt.user.client.ui.impl.HyperlinkImpl"/> |
| <any> |
| <when-property-is name="user.agent" value="ie8"/> |
| <when-property-is name="user.agent" value="ie9" /> |
| </any> |
| </replace-with> |
| </module> |