private void LoadCountries_Click(object sender, EventArgs e)
{
if (all_terminals.Count == 0)
{
OpenFileDialog ofd = new OpenFileDialog();
if (ofd.ShowDialog() != DialogResult.OK)
{
return;
}
if (!System.IO.File.Exists(ofd.FileName))
{
return;
}
get_facts(ofd.FileName);
}
pictureBox1.Image = null;
if (!checkedListBox2.Visible)
{
checkedListBox2.Show();
checkedListBox1.Width = 332;
}
fill_checked_list_with_facts();
fill_checked_list_with_countries();
LoadFacts.Hide();
RunBackward.Show();
}
private void ClearButton_Click(object sender, EventArgs e)
{
LoadFacts.Show();
LoadCountries.Show();
RunBackward.Hide();
RunForward.Hide();
checkedListBox2.Hide();
checkedListBox1.Width = checkedListBox2.Width * 2;
checkedListBox1.Items.Clear();
checkedListBox2.Items.Clear();
pictureBox1.Image = null;
richTextBox1.Text = "";
}