proxy setting for dart editor
‘proxy setting for dart editor’ HTTPS_PROXY=your.proxy.site:8080 https://code.google.com/p/dart/issues/detail?id=5455
‘proxy setting for dart editor’ HTTPS_PROXY=your.proxy.site:8080 https://code.google.com/p/dart/issues/detail?id=5455