src/main/java/eu/etaxonomy/cdm/vaadin/AppWidgetSet.gwt.xml

   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     <inherits name="org.vaadin.teemu.switchui.SwitchComponentWidgetset" />
  35
  36     <inherits name="org.vaadin.addon.leaflet.Widgetset" />
  37
  38     <inherits name="com.flowingcode.vaadin.addons.WidgetSet" />
  39 </module>