blob: 461bd5ed1b71670260ce66612ef0f35c68c11927 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
<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 />
<!-- Workaround for http://dev.vaadin.com/ticket/14051 -->
<set-property name="compiler.useSymbolMaps" value="true" />
</module>
|
