idea 和 WebStorm 配置 http代理 并更换主题

proxy,http,socks5 

当前 idea 主题为：

（idea 自带）idea 编辑器的主题颜色字体为：

（网上下载的 jar 包）

因为今天在安装下面这个主题时需要在 idea的 plugins里安装这个主题，所以在线下载时失败了，设置sr的http代理并开启sr的全局模式就能正常下载了

Material Theme UI

​​https://plugins.jetbrains.com/plugin/8006-material-theme-ui​​