blob: 8512d547e30a9f5497cebcc37e8594df0b56c75b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
<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" />
<entry-point class="com.vaadin.client.ApplicationConfiguration" />
<!-- 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>
|
