private void vlcplayer_TimeChanged(object sender, Vlc.DotNet.Core.VlcMediaPlayerTimeChangedEventArgs e) { if (this.TimeChanged != null) { this.Invoke(TimeChanged, this, e); } }
private void VlcMediaPlayer_TimeChanged(object sender, Vlc.DotNet.Core.VlcMediaPlayerTimeChangedEventArgs e) { if (lastUpdatedPlaybackPosition + 1000 < e.NewTime) { Playlist.CurrentPlaying.UpdatePlaybackPosition(); lastUpdatedPlaybackPosition = e.NewTime; } if (lastUpdatedTimeToCurrentPlaying + 10000 < e.NewTime) { Playlist.UpdateTimeToCurrentPlaying(); lastUpdatedTimeToCurrentPlaying = e.NewTime; } }
private void OnTimeChangedInternal(object sender, VlcMediaPlayerTimeChangedEventArgs e) { OnTimeChanged(e.NewTime); }