In the same way that you use the personal portal for a quick overview of important contents of, and recent events in, your personal workspace, i.e. your home folder, you may also make use of portals for arbitrary workspaces.
You create a portal for the current workspace by
• selecting File New Portal in the top menu.
The newly created workspace portal contains several widgets relating to the current workspace: a folder, event, navigator, search and info widget. You may populate the workspace portal with more widgets of your choice, delete some of the default widgets or rearrange the widgets as described above for your personal portal.
You may only have one portal per workspace.