| <?xml version="1.0" encoding="UTF-8"?> |
| <!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"> |
| <module> |
| <inherits name="com.vaadin.DefaultWidgetSet" /> |
| |
| <!-- Uncomment the following to compile the widgetset for one browser only. |
| Multiple browsers can be specified as a comma separated list. The supported |
| user agents at the moment of writing were: ie8,ie9,gecko1_8,safari,opera |
| The value gecko1_8 is used for Firefox and safari is used for webkit based |
| browsers including Google Chrome. --> |
| |
| <!-- To enable SuperDevMode, uncomment this line. See https://vaadin.com/wiki/-/wiki/Main/Using%20SuperDevMode |
| for more information and instructions. --> |
| <!-- <set-configuration-property name="devModeRedirectEnabled" value="true" /> --> |
| |
| <!-- <add-linker name="xsiframe" /> --> |
| <!-- <set-configuration-property name="devModeRedirectEnabled" --> |
| <!-- value="true" /> --> |
| <!-- <set-property name="user.agent" value="safari" /> --> |
| |
| <stylesheet src="designer_overlay/styles.css" /> |
| </module> |
