blob: d7cf1ca4d0965c1cd1fc61cd01f9ff626ea714f2 (
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
|
<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.
WS Compiler: manually edited
-->
<inherits name="com.google.gwt.user.User" />
<inherits name="com.google.gwt.http.HTTP" />
<inherits name="com.google.gwt.xml.XML" />
<inherits name="com.google.gwt.json.JSON" />
<source path="client" />
<!-- Use our own history impl for IE to workaround #2931. -->
<replace-with class="com.vaadin.terminal.gwt.client.HistoryImplIEVaadin">
<when-type-is class="com.google.gwt.user.client.impl.HistoryImpl"/>
<when-property-is name="user.agent" value="ie6"/>
</replace-with>
<generate-with class="com.vaadin.terminal.gwt.widgetsetutils.WidgetMapGenerator">
<when-type-is class="com.vaadin.terminal.gwt.client.WidgetMap"/>
</generate-with>
<entry-point class="com.vaadin.terminal.gwt.client.DefaultWidgetSet" />
</module>
|
