Main menu - Extras
Create GUID
With the menu
Create GUID, a GUID will be created and copied to the clipboard.
Change portal server
The portal server can be changed here.
Manage administration logins
All Information on this topic can be found
here.
License Manager
With the
License Manager, the licenses you have purchased can be distributed to individual portals.
All Information on this topic can be found
here.
Online updates
All Information on this topic can be found
here.
Options
This menu point opens the
Options dialog. Here, 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. Information regarding each of the settings can be found by pressing
F1 or by clikcing on the
Help button when you're in the
Options dialog.