Project

General

Profile

Download (1.22 KB) Statistics
| Branch: | Tag: | Revision:
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
</module>
(1-1/2)