blob: af4189ac09ffcb432e8872a695a41f3e157b32e1 [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE module PUBLIC "-//Google Inc.//DTD Google Web Toolkit 2.5.1//EN" "">
<inherits name="com.vaadin.DefaultWidgetSet" />
<inherits name="org.vaadin.gridutil.WidgetSet" />
<inherits name="org.eclipse.osbp.ecview.extension.grid.presentation.clientside.ECViewExtensionsWidgetset" />
<!-- 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
for more information and instructions. -->
<!-- <set-configuration-property name="devModeRedirectEnabled" value="true"
/> -->