private void updateExecutionState()
{
toolStripStatusLabelExecutionState.Text = "Execution: " + Vixen.Sys.Execution.State;
if (Execution.IsOpen) {
toolStripStatusLabelExecutionLight.BackColor = Color.ForestGreen;
}
else if (Execution.IsClosed) {
toolStripStatusLabelExecutionLight.BackColor = Color.Firebrick;
}
else if (Execution.IsInTest) {
toolStripStatusLabelExecutionLight.BackColor = Color.DodgerBlue;
}
else {
toolStripStatusLabelExecutionLight.BackColor = Color.Gold;
}
startToolStripMenuItem.Enabled = !Execution.IsOpen;
stopToolStripMenuItem.Enabled = !Execution.IsClosed;
}