“Internet 选项”的首选项

从 Internet 打开超时

当您使用“从 Internet 打开”打开网页时，JMP 会等待指定的秒数，之后才会因错停止导入。默认设置为“60 秒”。

代理服务器

指定代理主机。http（或 https）需要包括在规范中。若未使用协议，则假定采用 http。

代理端口

指定用于连接代理主机的端口。若未指定，则端口为 443（对于 http），对于其他所有 (https) 端口则为 443。默认设置为“0”。

代理用户

为代理指定可选用户。并非所有代理设置都需要用户。

绕过代理

指定要绕过的主机的可选逗号分隔列表（即，不通过代理）。用户可能希望过滤出位于公司防火墙（不需要代理）后面的主机。