public virtual void MediaPlayerTimeChanged(int time)
{
DVLCEvents_MediaPlayerTimeChangedEvent mediaplayertimechangedEvent = new DVLCEvents_MediaPlayerTimeChangedEvent(time);
this.parent.RaiseOnMediaPlayerTimeChanged(this.parent, mediaplayertimechangedEvent);
}
internal void RaiseOnMediaPlayerTimeChanged(object sender, DVLCEvents_MediaPlayerTimeChangedEvent e)
{
if ((this.MediaPlayerTimeChanged != null)) {
this.MediaPlayerTimeChanged(sender, e);
}
}
void _vlcPlugin_MediaPlayerTimeChanged(object sender, DVLCEvents_MediaPlayerTimeChangedEvent e)
{
}