void OnSaveAsActivated(object sender, System.EventArgs e)
{
Gtk.FileChooserDialog d = new Gtk.FileChooserDialog ("Save Profile Log", this, Gtk.FileChooserAction.Save, chooser_button_params);
if (d.Run () == (int) Gtk.ResponseType.Accept) {
System.IO.File.Copy (log_info.Filename, d.Filename);
log_info.Filename = d.Filename;
save_action.Sensitive = false;
}
d.Destroy ();
}