title: Network Connection Proxies in Dart Editor
body: <p>Eclipse has a "Network Connections" page in its preferences that allows one to use proxies for network connections, so if I am behind a firewall I can use these connections. I don't see any such option in the Dart Editor. So, while I am at work, I cannot update from the network because of this. I can set the proxy in a browser, but not in Dart Editor. With a direct connection to an ISP, everything is okay, but <em>not</em> from an internal network.</p>
  
  <p>Is there some way to fix this issue? If there is another way to allow the Dart Editor to connect to a network proxy I would be pleased.</p>