dac17eac20
Nobody uses the standalone gwtexpui project that we know of. Its release process is frustrating, as even getting a simple bugfix into Gerrit requires releasing gwtexpui (incrementing the version, tagging, deploying, setting the next snapshot version). Change-Id: I958ed659b8de8d855f7f9a7f4df66f6b4aad882f
28 lines
1.0 KiB
XML
28 lines
1.0 KiB
XML
<!--
|
|
Copyright (C) 2009 The Android Open Source Project
|
|
|
|
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>
|
|
<inherits name="com.google.gwt.user.User"/>
|
|
|
|
<replace-with class="com.google.gwtexpui.user.client.PluginSafeDialogBoxImplAutoHide">
|
|
<when-type-is class="com.google.gwtexpui.user.client.PluginSafeDialogBoxImpl" />
|
|
<any>
|
|
<when-property-is name="user.agent" value="safari"/>
|
|
<when-property-is name="user.agent" value="gecko"/>
|
|
<when-property-is name="user.agent" value="gecko1_8"/>
|
|
</any>
|
|
</replace-with>
|
|
</module>
|