void EventsPlayerPositionChanged(object sender, MediaPlayerPositionChanged e)
{
var newpos = (int)(e.NewPosition * 100);
if (newpos < 0)
{
newpos = 0;
}
if (newpos > 100)
{
newpos = 100;
}
UISync.Execute(() => vNav.Value = newpos);
if (_needsSize)
{
Size sz = _mPlayer.GetVideoSize(0);
if (sz.Width > 0)
{
if (sz.Width < 320)
{
sz.Width = 320;
}
if (sz.Height < 240)
{
sz.Height = 240;
}
if (Width != sz.Width)
{
UISync.Execute(() => Width = sz.Width);
}
if (Height != sz.Height + tableLayoutPanel1.Height)
{
UISync.Execute(() => Height = sz.Height + tableLayoutPanel1.Height);
}
_needsSize = false;
}
}
}
