【发布时间】:2014-06-03 17:23:29
【问题描述】:
Eclipse 在其首选项中有一个“网络连接”页面,允许使用代理进行网络连接,所以如果我在防火墙后面,我可以使用这些连接。我在 Dart 编辑器中看不到任何此类选项。因此,当我在工作时,因此无法从网络更新。我可以在浏览器中设置代理,但不能在 Dart 编辑器中设置。通过直接连接到 ISP,一切正常,但不是来自内部网络。
有没有办法解决这个问题?如果有其他方法可以让 Dart 编辑器连接到网络代理,我会很高兴。
【问题讨论】:
标签: dart dart-editor