public void RefreshControls()
{
if (Clock.IsTicking == true)
{
_clockButtonMode = ClockButtonMode.Stop;
timeDisplayBox.Sensitive = false;
}
else
{
timeDisplayBox.Sensitive = true;
if (timeDisplayBox.IsValid)
{
_clockButtonMode = ClockButtonMode.Start;
}
else
{
_clockButtonMode = ClockButtonMode.Undo;
}
}
RefreshMainButton();
if (Clock.Speed >= 0)
{
forwardBtn.Sensitive = false;
backwardBtn.Sensitive = true;
}
else
{
forwardBtn.Sensitive = true;
backwardBtn.Sensitive = false;
}
}
protected void displayBoxChanged_event(object sender, EventArgs e)
{
if (!timeDisplayBox.DoValidation || Clock.IsTicking)
{
return;
}
_hasEditedTime = true;
if (timeDisplayBox.IsValid)
{
timeDisplayBox.ModifyText(StateType.Normal, new Gdk.Color(0, 0, 0));
_clockButtonMode = ClockButtonMode.Start;
}
else
{
timeDisplayBox.ModifyText(StateType.Normal, new Gdk.Color(255, 0, 0));
_clockButtonMode = ClockButtonMode.Undo;
}
RefreshControls( );
}
