Hauptmenü Extras
GUID erstellen
Mit
GUID erstellen wird eine
GUID generiert und in die Zwischenablage kopiert.
Server wechseln
Hier kann zu einem anderen Portal Server gewechselt werden.
Administrationslogins verwalten
Alle Informationen zu diesem Thema finden Sie
hier.
Lizenzmanager
Mit dem
Lizenzmanager können alle erworbenen Intrexx Lizenzen registriert werden.
Alle Informationen zu diesem Thema finden Sie
hier.
Softwareaktualisierung
Alle Informationen zu diesem Thema finden Sie
hier.
Optionen
Dieser Menüpunkt öffnet den Dialog
Optionen, in dem allgemeine und modulspezifische Einstellungen gesetzt werden können. Wählen Sie hier im linken Bereich aus, welche Einstellungen zur Bearbeitung im rechten Bereich eingeblendet werden sollen. Informationen zu den jeweiligen Einstellungen erhalten Sie mit der Taste F1 oder mit Klick auf
Hilfe, wenn Sie sich im Dialog
Optionen befinden.