public virtual void MediaPlayerPositionChanged(float position)
{
DVLCEvents_MediaPlayerPositionChangedEvent mediaplayerpositionchangedEvent = new DVLCEvents_MediaPlayerPositionChangedEvent(position);
this.parent.RaiseOnMediaPlayerPositionChanged(this.parent, mediaplayerpositionchangedEvent);
}
internal void RaiseOnMediaPlayerPositionChanged(object sender, DVLCEvents_MediaPlayerPositionChangedEvent e)
{
if ((this.MediaPlayerPositionChanged != null)) {
this.MediaPlayerPositionChanged(sender, e);
}
}
void _vlcPlugin_MediaPlayerPositionChanged(object sender, DVLCEvents_MediaPlayerPositionChangedEvent e)
{
Position.Value = _vlcPlugin.input.Position;
Info.Text = string.Format("Time: {0}", TimeSpan.FromMilliseconds(_vlcPlugin.input.Time));
}
