186187188189190191192193194
{ int index = xhtml.indexOf(PageRenderer.TAG_WIDGET_MENU); if (index >= 0) { MenuWidget menu = new MenuWidget(workspace, MenuWidget.MenuTypes.Lateral); xhtml.replace(index, index + PageRenderer.TAG_WIDGET_MENU.length(), menu.render()); } }