通过填充符号库选择器可以对填充符号库的进行管理操作,包括:在符号库中添加新的符号、编辑符号库已有的符号、改变符号的逻辑存储位置等等,在填充符号库选择器中完成符号库的管理操作后,这些管理操作的成果要最终保存下来,还必须通过以下途径保存:
- 如果当前符号库是工作空间的资源集合中的填充符号库,可以通过保存该工作空间,将对填充符号库的管理结果保存下来;
- 通过将填充符号库选择器中当前的填充符号库导出为填充符号库文件,可以将对填充符号库的管理结果保存到填充符号库文件中,后续,可以通过加载该填充符号库文件获得相应的工作成果。