<?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" />
	<inherits name="org.eclipse.osbp.runtime.web.vaadin.components.widget.OSBPWidgetsWidgetset" />

	<!-- 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. -->
	<!-- <set-property name="user.agent" value="safari"/> -->

	<!-- 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" 
		/> -->

	<stylesheet src="osbp-components/styles.css" />

</module>