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>
<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>
Oh, I found the answer. The document I used was the one comes with the portal 2.2 src download. It was not up-to-date. The one in the following link is
http://labs.jboss.com/portal/jbossportal/docs