private void optionsToolStripMenuItem_Click(object sender, EventArgs e) { OptionsForm dlg = new OptionsForm(); if (dlg.ShowDialog() == DialogResult.OK) { Settings.Default.IrcUser = dlg.User; Settings.Default.IrcDescription = dlg.Description; Settings.Default.Language = dlg.Language; Settings.Default.HttpsLinks = dlg.HttpsLinks; Settings.Default.Save(); disconnectButton_Click(this, EventArgs.Empty); if (!_connection.ConnectionString.Contains("\\" + Settings.Default.Language + "\\")) { SwitchToLanguage(Settings.Default.Language); WikiEdit.SwitchToLanguage(Settings.Default.Language); UpdateViews(); } } }