I cannot figure out what the the correct property name to use layout, theme, renderSet and strategy.
To use the Layout, theme, renderSet, strategy in the examples HelloPortal in Section 3.1.3 of Reference Guide, the following names are used:
<properties>
<!-- Set the layout for the default portal -->
<!-- see also portal-layouts.xml -->
<property>
<name>layout.id</name>
<value>generic</value>
</property>
<!-- Set the theme for the default portal -->
<!-- see also portal-themes.xml -->
<property>
<name>theme.id</name>
<value>Nphalanx</value>
</property>
<!-- set the default render set name (used by the render tag in layouts) -->
<!-- see also portal-renderSet.xml -->
<property>
<name>theme.renderSetId</name>
<value>divRenderer</value>
</property>
<!-- set the default strategy name (used by the strategy interceptor) -->
<!-- see also portal-strategies.xml -->
<property>
<name>layout.strategyId</name>
<value>maximizedRegion</value>
</property>
</properties>
However, in section 6, a different format (org.jboss.portal.property.????) are used
<portal-name>default</portal-name>
<properties>
<!-- Set the layout for the default portal -->
<!-- see also portal-layouts.xml -->
<property>
<name>org.jboss.portal.property.layout</name>
<value>phalanx</value>
</property>
</properties>
<portal-name>default</portal-name>
<properties>
<property>
<name>org.jboss.portal.property.strategy</name>
<value>default</value>
</property>
</properties>
<portal-name>default</portal-name>
<properties>
<!-- use the divRenderer for this portal -->
<property>
<name>org.jboss.portal.property.renderSet</name>
<value>divRenderer</value>
</property>
</properties>
<portal-name>default</portal-name>
<properties>
<!-- Set the theme for the default portal -->
<property>
<name>org.jboss.portal.property.layout</name>
<value>phalanx</value>
</property>
</properties>
Are these names the same? Or they have different meanings?
