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)); }