public void UpdateBoxInHouseTimeLabel(ILogicalTime time)
{
if (boxInHouseTimeLabel.InvokeRequired)
{
boxInHouseTime = time;
DrawChangesDelegate d = new DrawChangesDelegate(_UpdateBoxInHouseTimeLabel);
Invoke(d);
}
}
public void UpdateTimeManagementValueLabels()
{
if (panel1.InvokeRequired)
{
DrawChangesDelegate d = new DrawChangesDelegate(UpdateTimeManagementValueLabels);
Invoke(d);
}
else
{
UpdateFederateLogicalTimeLabel();
UpdateFederateLookaheadLabel();
UpdateFederateGALTLabel();
UpdateFederateStatusLabel();
UpdateFederateRolLabel();
UpdateFederatePendingTimeLabel();
_UpdateTimeAdvanceOperationLabel();
}
}
public void UpdateTimeAdvanceOperationLabel()
{
if (timeAdvanceOperationLabel.InvokeRequired)
{
DrawChangesDelegate d = new DrawChangesDelegate(UpdateTimeAdvanceOperationLabel);
Invoke(d);
}
else
{
_UpdateTimeAdvanceOperationLabel();
}
}
public void UpdateUI(Actor.MoveDirection direction)
{
// InvokeRequired required compares the thread ID of the
// calling thread to the thread ID of the creating thread.
// If these threads are different, it returns true.
if (this.screen.InvokeRequired)
{
this.direction = direction;
DrawChangesDelegate d = new DrawChangesDelegate(_UpdateUI);
Invoke(d);
}
else
{
_UpdateUI();
}
}
public void UpdateUI()
{
// InvokeRequired required compares the thread ID of the
// calling thread to the thread ID of the creating thread.
// If these threads are different, it returns true.
if (this.screen.InvokeRequired)
{
DrawChangesDelegate d = new DrawChangesDelegate(_UpdateUI);
Invoke(d);
}
else
{
img = scenario.GetScenario();
screen.Image = img;
}
}
