对话框：选项：库下载象征： 功能：该对话框用于配置下载服务器。称呼： 工具 → 选项 命令， 图书馆下载 类别当你点击 下载缺失的库 在图书馆管理器中， CODESYS 浏览这些下载服务器以查找在库管理器中标记为缺失的库，并使用为代理服务器设置的凭据。下载服务器包含库文件的服务器的 URL双击 （此处输入新的下载服务器）将打开一个输入字段，您可以在其中指定服务器的 URL 地址。有关更多信息，请参阅： 图书馆经理 和 代理设置
