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 > . Le menu DEFINITION DE SYMBOLE (SYM DEFINITION) s'affiche dans le Gestionnaire de menus (Menu Manager).
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.
◦ Dans la barre de menus, cliquez sur > et rechargez le fichier de configuration dans lequel figure cette option.