Lurois Frédéric



5.7 Les options d’Automaton Editor :

 

Pour voir et modifier les options, il faut cliquer sur « Options… » dans le Menu « Edit ».

 

                        

 

 

 

Xml Version : utilisé lors de la création du fichier xml de sortie.

Dotty Path : indique le chemin ou trouver Dotty pour pouvoir le lancer.

Display Mode : Permet de choisir l’aspect de l’interface (Windows, Motif ou Metal).

Network Mode : Permet un accés aux lecteurs réseaux pour le chargement ou l’enregistrement, son utilisation n’est pas garantie, car si le fichier existe déjà, l’enregistrement ne se fait pas alors qu’il semble avoir été effectué. Cela reste un problème à étudier de manière approfondie.





-29-