//将六个ini文件还原成默认配置，防止用户误操作将ini文件弄坏
private void restore_ini_files(object sender, RoutedEventArgs e)
{
File_Helper.restore_file(Config_Helper.database_ini, Config_Helper.database_default_ini);
File_Helper.restore_file(Config_Helper.quant_ini, Config_Helper.quant_default_ini);
File_Helper.restore_file(Config_Helper.modification_ini, Config_Helper.modification_default_ini);
File_Helper.restore_file(Config_Helper.enzyme_ini, Config_Helper.enzyme_default_ini);
File_Helper.restore_file(Config_Helper.aa_ini, Config_Helper.aa_default_ini);
File_Helper.restore_file(Config_Helper.element_ini, Config_Helper.element_default_ini);
this.databases = null;
this.modifications = null;
this.quantifications = null;
this.enzymes = null;
this.aas = null;
this.elements = File_Helper.load_Element(Config_Helper.element_ini, ref base_elements); //加载界面的时候即把元素表加载进来，因为修饰，氨基酸表都依靠它
//注意！！！更新MainWindow中的elements的时候，同时也要更新Element中的index_hash
Load_ini();
MessageBox.Show("OK");
}
public MainWindow()
{
//add_CrashHandler();
InitializeComponent();
elements = File_Helper.load_Element(Config_Helper.element_ini, ref base_elements); //加载界面的时候即把元素表加载进来，因为修饰，氨基酸表都依靠它
//注意！！！更新MainWindow中的elements的时候，同时也要更新Element中的index_hash
if (Application.Current.Properties["ArbitraryArgName"] != null)
{
this.tab_control.SelectedIndex = int.Parse(Application.Current.Properties["ArbitraryArgName"] as string);
for (int i = 0; i < this.tab_control.Items.Count; ++i)
{
if (i != this.tab_control.SelectedIndex)
{
TabItem item = this.tab_control.Items[i] as TabItem;
item.Visibility = Visibility.Collapsed;
}
}
}
}
