private void defineValueToolStripMenuItem_Click(object sender, EventArgs e)
{
DefineValueForm dvf = new DefineValueForm();
var res = dvf.ShowDialog();
if (res == DialogResult.OK && !KnownLabels.ContainsKey(dvf.Value))
KnownLabels.Add(dvf.Value, dvf.Name);
}