android studio http代理配置问题

众所周知，因为肺炎问题，基本现在都是在家远程办公。
我们公司原本就是局域网办公，这次远程办公，我要在局域网内电脑android studio配置http代理（以前就没用过）
按照我自己的理解，填写好代理的IP和端口就应该可以了（IP和端口没有问题），不放心的可以用下面的check connection 按钮就行测试

但是，我导入项目，下载gradle的一些东西时（dl.google.com），还是报错了connection timed out
我的第一反因是，难道我又要改host了？想想也不对，check是可以连接的呀！

最后我反应过来，下载的连接是https，这个UI的配置，没有https的代理配置！

根据网上的意思：
Add this proxy information to your gradle.properties file:
复制
systemProp.https.proxyPort=9595
systemProp.http.proxyHost=127.0.0.1
systemProp.https.proxyHost=127.0.0.1
systemProp.http.proxyPort=9595

把https的也手动配置就行了（端口，IP自己改）