diff options
| author | DiegoSanzVi <40760222+DiegoSanzVi@users.noreply.github.com> | 2018-12-17 14:51:39 +0200 |
|---|---|---|
| committer | Sun Zhe <31067185+ZheSun88@users.noreply.github.com> | 2018-12-17 14:51:39 +0200 |
| commit | a3fceafd4757c240c5871399eab008eb184ef531 (patch) | |
| tree | 05226f027e7085e13835504f4f76a120ff33ede4 /documentation/portal | |
| parent | febddda0578c8185e0c4c0f613f250490e0503a2 (diff) | |
| download | vaadin-framework-a3fceafd4757c240c5871399eab008eb184ef531.tar.gz vaadin-framework-a3fceafd4757c240c5871399eab008eb184ef531.zip | |
Using correct tags in the portal ui docs
There are not [source, java] tags.
Diffstat (limited to 'documentation/portal')
| -rw-r--r-- | documentation/portal/portal-ui.asciidoc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/documentation/portal/portal-ui.asciidoc b/documentation/portal/portal-ui.asciidoc index 4f5335a451..78aff9b731 100644 --- a/documentation/portal/portal-ui.asciidoc +++ b/documentation/portal/portal-ui.asciidoc @@ -10,7 +10,7 @@ layout: page A portlet UI is just like in a regular Vaadin application, a class that extends [classname]#com.vaadin.ui.UI#. - +[source, java] ---- @Theme("myportlet") public class MyportletUI extends UI { @@ -72,6 +72,7 @@ the Project">>. Otherwise, the following snippet can be used. +[source, java] ---- @WebServlet(value = "/*", asyncSupported = true) @VaadinServletConfiguration(productionMode = false, |