Optionen - Allgemein

Hauptmenü Extras / Optionen / Allgemein

Beim Start Serverauswahldialog anzeigen

Legt fest, dass der Dialog zur Auswahl eines Servers beim Start des Portal Managers angezeigt wird.

Startbildschirm animieren

Die Animation des Splash-Screens, der beim Start von Intrexx angezeigt wird, kann hier abgeschaltet werden.

Größe der Dialoge merken

Mit dieser Einstellung wird die Größe von Dialogen beizubehalten, wenn Sie von den Standarddimensionen abweichen.

Nur wenn größer als die Standarddimensionen

Behält die Größe von Dialogen nur dann bei, wenn Sie größer als der Standard sind.

URL der Online-Hilfe

Hier ist in der Standardeinstellung ein Link auf die Intrexx Online-Hilfe auf dem United Planet Server eingetragen.
https://onlinehelp.unitedplanet.com/intrexx/${doc_version}/${language}${section}
Dieser Link beinhaltet den Platzhalter ${doc_version}, der automatisch durch die aktuell von Ihnen benutzte Intrexx-Version ersetzt wird, und ${language}, der automatisch durch die aktuell von Ihnen benutzte Sprache ersetzt wird. ${section} ist ein Parameter, der die Steuerung von Inhaltsverzeichnis und direkter kontextsensitiver Hilfe, die Sie in Intrexx mit der Taste F1 erreichen, übernimmt.