PACファイルでプロキシが設定されている場合、どのようにしてExploratoryデスクトップが使用するプロキシを設定したらよいのでしょうか?

問題

PACファイルでプロキシが設定されている場合、どのようにしてExploratoryデスクトップが使用するプロキシを設定したらよいのでしょうか?

解決方法

こちらのノートを参照してください。