blob: b127eec6329bbdcb4a3ef4ffad67aa8064142a7f [file] [log] [blame]
<!-- -->
<!-- Copyright 2008 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.user.UserAgent"/>
<!-- Option to disable GWT double encoding of history tokens. -->
<!-- This double encoding is necessary to make History work across -->
<!-- browsers (especially Firefox). -->
<!-- If applications choose to disable double encoding they are responsible -->
<!-- for ensuring that only tokens are used that work across browsers. -->
<define-property name="history.noDoubleEncoding" values="true,false" />
<set-property name="history.noDoubleEncoding" value="false" />
<replace-with class="com.google.gwt.user.client.History.NoopHistoryTokenEncoder">
<when-type-is class="com.google.gwt.user.client.History.HistoryTokenEncoder" />
<when-property-is name="history.noDoubleEncoding" value="true" />
</replace-with>
</module>