private void UpdateAspectsTab() { aspectListBox1.ClearSelected(); aspectListBox1.Items.Clear(); List <string> names = Aspect.GetAspectNames(); foreach (string name in names) { aspectListBox1.Items.Add(name); } }