Use the system proxy settings to automatically configure HTTP proxy support

[sixwaaaay]

Describe the project you are working on

all

Describe the problem or limitation you are having in your project

when I learn godot, sometime I can't download the examples on github. I can use the agent to access, but Godot will not automatically apply the proxy settings, and cannot set a proxy manually. Another way I thought of was to support custom target locations so that I could do my own reverse proxy.

Describe the feature / enhancement and how it helps to overcome the problem or limitation

get the resource on github fastly. on the fly!

Describe how your proposal will work, with code, pseudo-code, mock-ups, and/or diagrams

none

If this enhancement will not be used often, can it be worked around with a few lines of script?

none

Is there a reason why this should be core and not an add-on in the asset library?

none

[timothyqiu]

In Godot 3.5, you'll be able to set editor proxy in Editor Settings network/http_proxy/{host,port}. This will make accessing export templates and the AssetLib easier in China. See godotengine/godot#55988

Although it currently won't apply system proxy settings automatically.