From a3fceafd4757c240c5871399eab008eb184ef531 Mon Sep 17 00:00:00 2001 From: DiegoSanzVi <40760222+DiegoSanzVi@users.noreply.github.com> Date: Mon, 17 Dec 2018 14:51:39 +0200 Subject: Using correct tags in the portal ui docs There are not [source, java] tags. --- documentation/portal/portal-ui.asciidoc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'documentation') 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, -- cgit v1.2.3