private void listBox1_SelectedIndexChanged(object sender, EventArgs e)
{
if (PrimitiveList.SelectedItem == null) return;
lock (EditorLock)
{
Editor.SetPlacement(((InstructionIDNamePair)PrimitiveList.SelectedItem).ID);
Editor.BHAVView.ClearSelection();
}
}