private void on_saveKeyButton_clicked(object o, EventArgs args)
{
FileSelector selector = new FileSelector("Save Public Key...", FileChooserAction.Save);
selector.TransientFor = dialog;
selector.CurrentName = nicknameEntry.Text + ".mpk";
if (selector.Run() == (int)ResponseType.Ok) {
string publicKey = new PublicKey(nicknameEntry.Text, provider.ToXmlString(false)).ToArmoredString();
File.WriteAllText(selector.Filename, publicKey);
}
selector.Destroy();
}