/// <summary>
/// Model invoked this. One of the player time has advanced.
/// </summary>
/// <param name="sender">The model. We do not use this.</param>
/// <param name="e">The data, which help us update the view.</param>
private async void Model_UpdatePlayerTime(object sender, ReversiUpdatePlayerTimeEventArgs e)
{
if (e.IsPlayer1TimeNeedUpdate)
{
await dispatcher.RunAsync(CoreDispatcherPriority.Normal,
() =>
{
_player1Time = e.NewTime;
OnPropertyChanged("Player1Time");
});
}
else
{
await dispatcher.RunAsync(CoreDispatcherPriority.Normal,
() =>
{
_player2Time = e.NewTime;
OnPropertyChanged("Player2Time");
});
}
}
private void model_UpdatePlayerTime(Object sender, ReversiUpdatePlayerTimeEventArgs e)
{
_eventUpdatePlayerTimeInvoked = true;
}
