/// <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(); } }