解析jetbrains IDE的插件加载不出来的问题(IDEA、pycharm等)

jetbrains IDE的插件加载不出来Win10、IDEA 2020.2、电脑配置了HTTP/HTTPS/socks梯子代理。想要给IDEA从plugins marketplace下载新的theme。网络不顺畅或不通。plugins marketplace的repository在国外，国内访问的速度慢，一般会无法加载。浏览器访问正常，说明梯子能够正常代理HTTP、HTTPS和sock，并且能够使用。修改IDEA自身代理设置，使其允许使用代理去访问repository修改后，IDEA会自动检测计算机系统的代理设置，当IDEA访问plugin repository时，会经过计算机代理。