123456789101112131415161718192021222324252627282930313233343536373839 |
- <module>
- <!-- This GWT module defines the Vaadin DefaultWidgetSet. This is the
- module you want to extend when creating an extended widget set, or when creating
- a specialized widget set with a subset of the components. -->
-
- <!-- Hint for WidgetSetBuilder not to automatically update the file -->
- <!-- WS Compiler: manually edited -->
-
- <inherits name="com.vaadin.Vaadin" />
-
- <!-- Elemental is used for handling Json only -->
- <inherits name="elemental.Json" />
-
- <inherits name="com.google.gwt.precompress.Precompress"/>
-
- <entry-point class="com.vaadin.client.ApplicationConfiguration" />
-
- <generate-with
- class="com.vaadin.server.widgetsetutils.AcceptCriteriaFactoryGenerator">
- <when-type-is class="com.vaadin.client.ui.dd.VAcceptCriterionFactory" />
- </generate-with>
-
- <generate-with
- class="com.vaadin.server.widgetsetutils.ConnectorBundleLoaderFactory">
- <when-type-assignable
- class="com.vaadin.client.metadata.ConnectorBundleLoader" />
- </generate-with>
-
- <replace-with
- class="com.vaadin.client.communication.DefaultReconnectDialog">
- <when-type-is class="com.vaadin.client.communication.ReconnectDialog" />
- </replace-with>
-
- <!-- Since 7.2. Compile all permutations (browser support) into one Javascript
- file. Speeds up compilation and does not make the Javascript significantly
- larger. -->
- <collapse-all-properties />
-
- </module>
|