XRX plus plus portal

The portal document defines a html context for a widget.

Main widgets reference the portal by the portal-id in their <xrx:portal>, i.e. saying how they would like to be presented to the user. Inside the *.portal.xml files, there is a placeholder for the mainwidget. In the editor, there is also a placeholder for the model.

At the time of writing there are nine portals defined:

• src/core/app/xrx/portal/empty.portal.xml
• src/mom/app/mom/portal/empty.portal.xml
• src/mom/app/mom/portal/default.portal.xml
• src/mom/app/mom/portal/subeditor.portal.xml
• src/mom/app/mom/portal/fullscreen.portal.xml
• src/mom/app/mom/portal/desktop.portal.xml
• src/mom/app/mom/portal/editor.portal.xml
• src/mom/app/mom/portal/fonds.portal.xml
• src/mom/app/mom/portal/charter.portal.xml