void Mp3Player_TimeChanged(object sender, TimeChangedEventArgs e)
{
da.To = e.Current;
anim.Begin();
}
void OnMp3PlayerTimeChanged(object sender, TimeChangedEventArgs e)
{
if (timelist == null || timelist.Length == 0) return;
var t = e.Current;
if (isworking) return;
isworking = true;
var i = binarySearch(timelist, t, 0, timelist.Length - 1);
isworking = false;
if (i == -1) return;
UIHelper.RunOnUI(() =>
{
SelectedIndex = i;
this.ScrollToCenterOfView(SelectedItem);
});
}
