user/src/com/google/gwt/uibinder/UiBinder.gwt.xml

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

<!-- GWT UI Binder support.                                                 -->
<module>
  <inherits name="com.google.gwt.resources.Resources" />
  
  <source path="client"/>
  <source path="resources"/>
  <!-- Pluggable factory for creating field types for HTML elements -->
  <define-configuration-property name="uibinder.html.elementfactory" is-multi-valued="false"/>  
  <set-configuration-property name="uibinder.html.elementfactory" value="com.google.gwt.uibinder.rebind.GwtDomHtmlElementFactory"/>
  <generate-with class="com.google.gwt.uibinder.rebind.UiBinderGenerator">
    <when-type-assignable class="com.google.gwt.uibinder.client.UiBinder"/>
  </generate-with>
</module>