Pour accéder à la boîte de dialogue Préférences :
Après un clic sur , une boîte de dialogue vous permettant de sélectionner ou de modifier les paramètres de Robot s'affiche.
La boîte de dialogue se divise en plusieurs zones :
- ouvre le fichier de préférences
- enregistre le fichier de préférences sous un autre nom
- supprime le fichier de préférences actuel
- applique les paramètres par défaut au fichier de préférences
Si vous sélectionnez cette option, tous les paramètres des fichiers de préférences sont enregistrés lorsque vous quittez la boîte de dialogue.
Si vous désélectionnez cette option, les modifications que vous avez effectuées sont locales et ne sont pas prises en compte lors du prochain chargement de ce fichier de préférences.