blob: 03d09501261986e2a363b32a6d12af4999f7f1f8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
<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>
|
