Pour changer de répertoire de stockage des symboles
Le répertoire de symboles est déterminé par l'option de configuration pro_symbol_dir.
1. Dans l'onglet
Annotation (Annotate), cliquez sur la flèche en regard de
Symbole (Symbol), puis cliquez sur
Liste symboles (Symbol Gallery). Le menu
LISTE SYM (SYM GALLERY) apparaît.
2. Cliquez sur Rép. symboles (Symbol Dir). La boîte de dialogue Sélection du répertoire de travail (Select Working Directory) s'affiche.
3. Dans la zone Nom du fichier (File name), entrez le nom du nouveau dossier pro_symbol_dir.
4. Pour restaurer le nom du dossier par défaut dans la session en cours, effectuez l'une des opérations suivantes :
◦ Répétez ce processus et remplacez le nom du dossier d'origine.
◦ Cliquez sur Fichier (File) > Options (Options) dans la barre de menus et rechargez le fichier de configuration dans lequel figure cette option.