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.