Exemple #1
0
 private void Media_MediaChanged(object sender, Vlc.DotNet.Core.VlcMediaPlayerMediaChangedEventArgs e)
 {
     lWarningLabel.Visible = false;
     if (closeOnStop)
     {
         Close();
     }
 }
Exemple #2
0
        private void VlcControl1_MediaChanged(object sender, Vlc.DotNet.Core.VlcMediaPlayerMediaChangedEventArgs e)
        {
            var    fi       = new FileInfo(fileBeingPlayed);
            string fileInfo = string.Format("{0:yyyy/MM/dd HH:mm:ss}", fi.LastWriteTime);

            toolStripStatusLabelFileDate.Text = fileInfo;
            EnableButtons();
        }
Exemple #3
0
 private void Control_MediaChanged(object sender, Vlc.DotNet.Core.VlcMediaPlayerMediaChangedEventArgs e)
 {
     if (Src == null)
     {
         Status = MEDIA_STATUS.NO_MEDIA;
     }
     else
     {
         Status = MEDIA_STATUS.STOPPED;
     }
 }
 private void Player_MediaChanged(object sender, Vlc.DotNet.Core.VlcMediaPlayerMediaChangedEventArgs e)
 {
     this.Dispatcher.Invoke(() => { Title.Text = e.NewMedia.Title; });
 }
Exemple #5
0
 private void MediaPlayer_MediaChanged(object sender, Vlc.DotNet.Core.VlcMediaPlayerMediaChangedEventArgs e)
 {
     doform(() => toolStripStatusLabel1.Text = "切换音乐");
 }
Exemple #6
0
 private void vlcControl1_MediaChanged(object sender, Vlc.DotNet.Core.VlcMediaPlayerMediaChangedEventArgs e)
 {
 }