‘proxy setting for dart editor’

HTTPS_PROXY=your.proxy.site:8080

https://code.google.com/p/dart/issues/detail?id=5455