idea 和 WebStorm 配置 http代理并更换主题
当前 idea 主题为：
（idea 自带）
idea 编辑器的主题颜色字体为：
（网上下载的 jar 包）
因为今天在安装下面这个主题时需要在 idea的 plugins里安装这个主题，所以在线下载时失败了，设置sr的http代理并开启sr的全局模式就能正常下载了
Material Theme UI
https://plugins.jetbrains.com/plugin/8006-material-theme-ui
文章来自：https://www.cnblogs.com/kinome/p/8990857.html