Le système d'aide comporte un serveur interne fournissant des informations d'aide au navigateur.
Utilisez la page de préférences
Aide > Serveur d'aide
pour changer l'interface et le port utilisés par le serveur.
Ne modifiez ces paramètres que si vous rencontrez des problèmes et ne pouvez pas afficher l'aide des préférences par défaut.
Option |
Description |
Par défaut |
---|---|---|
Hôte | Nom ou adresse de l'interface IP locale utilisable par le serveur. | vide |
Port | Port IP sur lequel le serveur doit écouter. Si aucun port n'est spécifié pour la valeur, le système d'exploitation en attribuera un. | vide |
Voici à quoi ressemble la page des préférences du serveur d'aide :