diff options
Diffstat (limited to 'client/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml')
| -rw-r--r-- | client/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/client/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml b/client/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml new file mode 100644 index 0000000000..278d92f38f --- /dev/null +++ b/client/src/com/vaadin/terminal/gwt/DefaultWidgetSet.gwt.xml @@ -0,0 +1,13 @@ +<module> + <!-- This GWT module defines the Vaadin DefaultWidgetSet. This is the module + you want to extend when creating an extended widget set, or when creating + a specialized widget set with a subset of the components. --> + + <!-- Hint for WidgetSetBuilder not to automatically update the file --> + <!-- WS Compiler: manually edited --> + + <inherits name="com.vaadin.Vaadin" /> + + <entry-point class="com.vaadin.terminal.gwt.client.ApplicationConfiguration" /> + +</module> |