/// <summary>
/// Handles changes to the proxy server settings.
/// </summary>
private void ProxyServerMI_Click(object sender, System.EventArgs e)
{
WebProxy proxy = new ProxyServerDlg().ShowDialog(m_proxy);
if (proxy != m_proxy)
{
m_proxy = proxy;
SaveSettings();
}
}
/// <summary>
/// Handles changes to the proxy server settings.
/// </summary>
private void ProxyServerMI_Click(object sender, System.EventArgs e)
{
var proxy = new ProxyServerDlg().ShowDialog(proxy_);
if (proxy != proxy_)
{
proxy_ = proxy;
SaveSettings();
}
}
