Main menu "Extras"
Create GUID
Generates a GUID and copies it to the clipboard.
Switch to a different server
Opens a dialog where you can change to another Portal Server.
Disconnect server
Disconnects from the current server.
Administration logins
Opens a dialog where administration logins can be managed.
License Manager
Opens a dialog where the licenses you have purchased can be distributed to individual portals. Click here for more information about this topic.
Online update
Opens a dialog where Online Updates can be configured.
Options
Opens a dialog where general and module-specific settings can be made. On the left-hand side, select the areas where you would like to make changes; the settings will be shown in the right-hand area. Press F1 or the "Help" button if you require more information about each of the settings.