プロキシ、ワークスペース毎に設定するみたいだけど全ワークスペースに同じプロキシを設定して回るのも面倒なんで、全ワークスペース用にプロキシを定義、もできるようになりませんかね？