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-28 10:50:15 +0200 |
| commit | 0c1f61f552e063fc19299ea74de69c87355adf91 (patch) | |
| tree | fc589e73d2dad45a615665fb3928cd3fd1864224 | |
| parent | af66c01f6e35a1da710c6bc91ce0b06703b3b906 (diff) | |
| download | vaadin-framework-0c1f61f552e063fc19299ea74de69c87355adf91.tar.gz vaadin-framework-0c1f61f552e063fc19299ea74de69c87355adf91.zip | |
Using correct tags in the portal ui docs
There are not [source, java] tags.
| -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, |