Hauptmenü "Extras"

GUID erstellen

Generiert eine GUID und kopiert sie in die Zwischenablage.

Server wechseln

Öffnet einen Dialog, in dem zu einem anderen Portal Server gewechselt werden kann.

Server trennen

Beendet die Verbindung zum aktuellen Server.

Administrationslogins verwalten

Öffnet einen Dialog, in dem Administrationslogins verwaltet werden können.

Lizenzmanager

Öffnet einen Dialog, in dem alle erworbenen Intrexx-Lizenzen registriert und verteilt werden können. Weitere Informationen zu diesem Thema finden Sie hier.

Einstellungen der Server-Software-Aktualisierung

Alle Informationen zu diesem Menüpunkt finden Sie .

Auf Software-Aktualisierungen prüfen

Alle Informationen zu diesem Menüpunkt finden Sie hier.

Optionen

Öffnet einen Dialog, 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 die Hilfe-Schaltfläche unten rechts im Dialog.