Because the plugin now uses Ktor instead of the client built in the platform, IDE's proxy settings are not used.
We switched to Ktor so that the requests can be canceled in all phases of the request (there doesn't seem to be a way to interrupt java.net.URLConnection#getInputStream programmatically) and so that we can use LIST HTTP method (not supported by builtin client).
Ktor CIO engine seems to support only HTTP proxies now, though.
Because the plugin now uses Ktor instead of the client built in the platform, IDE's proxy settings are not used. We switched to Ktor so that the requests can be canceled in all phases of the request (there doesn't seem to be a way to interrupt
java.net.URLConnection#getInputStream
programmatically) and so that we can use LIST HTTP method (not supported by builtin client). Ktor CIO engine seems to support only HTTP proxies now, though.