|
1
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
2
|
<!DOCTYPE module PUBLIC "-//Google Inc.//DTD Google Web Toolkit 2.5.1//EN" "http://google-web-toolkit.googlecode.com/svn/tags/2.5.1/distro-source/core/src/gwt-module.dtd">
|
|
3
|
<module>
|
|
4
|
<!--
|
|
5
|
This file is automatically updated based on new dependencies by the
|
|
6
|
goal "vaadin:update-widgetset".
|
|
7
|
-->
|
|
8
|
|
|
9
|
<!-- Inherit DefaultWidgetSet -->
|
|
10
|
<inherits name="com.vaadin.DefaultWidgetSet" />
|
|
11
|
|
|
12
|
<!--
|
|
13
|
Uncomment the following to compile the widgetset for one browser only.
|
|
14
|
|
|
15
|
Multiple browsers can be specified as a comma separated list. The
|
|
16
|
supported user agents at the moment of writing were:
|
|
17
|
ie8,ie9,gecko1_8,safari,opera
|
|
18
|
|
|
19
|
The value gecko1_8 is used for Firefox and safari is used for webkit
|
|
20
|
based browsers including Google Chrome.
|
|
21
|
-->
|
|
22
|
<!-- <set-property name="user.agent" value="safari"/> -->
|
|
23
|
|
|
24
|
<!--
|
|
25
|
SuperDev mode is enabled default starting with GWT 2.6.0
|
|
26
|
|
|
27
|
For more information and instructions see:
|
|
28
|
https://vaadin.com/wiki/-/wiki/Main/Using%20SuperDevMode
|
|
29
|
-->
|
|
30
|
<set-configuration-property name="devModeRedirectEnabled" value="false" />
|
|
31
|
|
|
32
|
<inherits name="org.vaadin.peter.contextmenu.ContextmenuWidgetset" />
|
|
33
|
|
|
34
|
|
|
35
|
|
|
36
|
<inherits name="eu.etaxonomy.vaadin.ui.DevDayWidgetset" />
|
|
37
|
|
|
38
|
|
|
39
|
|
|
40
|
|
|
41
|
|
|
42
|
|
|
43
|
|
|
44
|
<inherits name="org.vaadin.teemu.switchui.SwitchComponentWidgetset" />
|
|
45
|
|
|
46
|
|
|
47
|
|
|
48
|
|
|
49
|
</module>
|