Изменение папки символов
Папка символов определяется опцией конфигурации pro_symbol_dir
1. На вкладке Аннотировать (Annotate) щелкните > . Меню ОПРЕДЕЛЕНИЕ СИМВОЛА (SYM DEFINITION) откроется в Диспетчере меню (Menu Manager).
2. Щелкните Папка символов (Symbol Dir). Откроется диалоговое окно Выберите папку символа (Select Symbol Directory).
3. В поле Имя файла (File name) введите имя каталога нового pro_symbol_dir.
4. Для восстановления имени папки по умолчанию в текущей сессии, выполните одно из следующих действий.
◦ Повторите описанный процесс и произведите замену на исходное имя папки.
◦ Щелкните > в строке меню и перезагрузите повторно файл конфигурации, в котором находится эта опция.