Workspace portals

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 work­space: 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.