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">
5 This file is automatically updated based on new dependencies by the
6 goal "vaadin:update-widgetset".
9 <!-- Inherit DefaultWidgetSet -->
10 <inherits name=
"com.vaadin.DefaultWidgetSet" />
13 Uncomment the following to compile the widgetset for one browser only.
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
19 The value gecko1_8 is used for Firefox and safari is used for webkit
20 based browsers including Google Chrome.
22 <!-- <set-property name="user.agent" value="safari"/> -->
25 SuperDev mode is enabled default starting with GWT 2.6.0
27 For more information and instructions see:
28 https://vaadin.com/wiki/-/wiki/Main/Using%20SuperDevMode
30 <set-configuration-property name=
"devModeRedirectEnabled" value=
"false" />
32 <inherits name=
"org.vaadin.peter.contextmenu.ContextmenuWidgetset" />