diff options
| author | Jérémy Zurcher <jeremy@asynk.ch> | 2017-04-17 21:24:36 +0200 |
|---|---|---|
| committer | Jérémy Zurcher <jeremy@asynk.ch> | 2017-04-17 21:24:36 +0200 |
| commit | 77653bb945a5ae8adfed549fd4c5d908f5a514ae (patch) | |
| tree | 0fcc62bda85c41f7cb39c06460f23b9d311b9889 /java/vaadin/src | |
| parent | d6ced9cf1c51e0ddadd16114bdcf34ee358e3a7e (diff) | |
| download | share-77653bb945a5ae8adfed549fd4c5d908f5a514ae.zip share-77653bb945a5ae8adfed549fd4c5d908f5a514ae.tar.gz | |
java : vaadin : add widgetset compilation
Diffstat (limited to 'java/vaadin/src')
| -rw-r--r-- | java/vaadin/src/main/WebContent/VAADIN/widgetsets/mywidgetset.gwt.xml | 3 | ||||
| -rw-r--r-- | java/vaadin/src/main/java/ch/asynk/HelloWorldUI.java | 2 |
2 files changed, 5 insertions, 0 deletions
diff --git a/java/vaadin/src/main/WebContent/VAADIN/widgetsets/mywidgetset.gwt.xml b/java/vaadin/src/main/WebContent/VAADIN/widgetsets/mywidgetset.gwt.xml new file mode 100644 index 0000000..3c11cb9 --- /dev/null +++ b/java/vaadin/src/main/WebContent/VAADIN/widgetsets/mywidgetset.gwt.xml @@ -0,0 +1,3 @@ +<module> + <inherits name="com.vaadin.DefaultWidgetSet" /> +</module> diff --git a/java/vaadin/src/main/java/ch/asynk/HelloWorldUI.java b/java/vaadin/src/main/java/ch/asynk/HelloWorldUI.java index be65387..bcfa571 100644 --- a/java/vaadin/src/main/java/ch/asynk/HelloWorldUI.java +++ b/java/vaadin/src/main/java/ch/asynk/HelloWorldUI.java @@ -3,6 +3,7 @@ package ch.asynk; import com.vaadin.annotations.PreserveOnRefresh; import com.vaadin.annotations.Theme; import com.vaadin.annotations.Title; +import com.vaadin.annotations.Widgetset; import com.vaadin.navigator.Navigator; import com.vaadin.server.VaadinRequest; import com.vaadin.ui.Button; @@ -24,6 +25,7 @@ import ch.asynk.ui.ViewMain; @PreserveOnRefresh @Theme("mytheme") @Title("Hello!!") +@Widgetset("mywidgetset") public class HelloWorldUI extends UI { private static final long serialVersionUID = 1L; |