プロキシ環境下でWSTを入れたあとに「インストール/更新」から更新できなくなった

プロキシ環境で「インストール/更新」を利用する場合、「インストール/更新」→「プロキシー設定」をすれば、プロキシ経由で利用できます。

ですが、WSTのようなWTP系列のプラグインを入れると、「Internet」→「Proxy Settings」でもプロキシ設定をしないと、プロキシ経由での「インストール/更新」を利用できないようです。

これに小一時間はまりました。