库选项卡
该库用于管理和编辑配置集，即在配置浏览器中标识的已定义符号和分组的集合。它包括以下功能：
图标 | 功能 | 描述 |
|---|---|---|
| 新配置 | 创建一个新的配置 |
| 存储配置 | 保存对现有配置所做的更改。保存当前一组已定义的符号，替换上一组定义的符号。 |
| 还原配置 | 删除在列表中选择的配置。 |
| 删除配置 | 删除在列表中选择的配置。 |
第二个框包含用于重命名配置的字段。
编辑配置打开符号集编辑器。该编辑器列出了所有可用和定义的符号。在可用符号列表中，定义的符号变灰。
图标 | 功能 | 描述 |
|---|---|---|
| 定义符号 | 将“可用符号”列表中选定的符号添加到“已定义符号”列表中。 |
| Delete Defined 符号 | 从定义符号列表中删除选定的符号。 |
