MI 3281 Analyseur WR
8.10.9 Exporter un espace de travail
①
②
③
Sélectionner un espace de travail dans
la liste du gestionnaire d'espace de
travail pour l'exporter dans un fichier
d'exportation.
Pour rentrer dans l'option Exporter.
Avant d'exporter l'espace de travail
sélectionné, une confirmation est
demandée à l'utilisateur.
L'espace de travail est exporté dans un
fichier d'exportation et ajouté à la liste
des exportations.
Remarque
Si un fichier d'exportation portant le
même nom existe déjà, le nom du
fichier d'exportation sera modifié
(nom_001, nom_002, nom_003, ...).
38