private void MediaEnded(object sender, EventArgs e) { jmp.StopTimer(); jmp.Stop(); jmp.Playing = false; slider_time.Value = 0; label_time.Content = "00:00:00"; PlayChanged(null, null); intelligentPlayingManager.MediaEnded(); }
static bool SetMediaSource(string[] args) { if (args != null && args.Length > 0) { JMediaPlayer jmp = JMediaPlayer.GetJMediaPlayer(); if (jmp.Playing) { jmp.Stop(); } JMediaPlayer.NowPlaying = args[0]; return(true); } return(false); }