public String GetName(VlcPlayer player) { Name = String.Format("{0}-{1}-{2}", GetMediaName(player.VlcMediaPlayer.Media.Mrl.Replace("file:///", "")), (int)(player.Time.TotalMilliseconds), _count++); return(Name); }
public VlcPlayer() { _vlcPlayer = new xZune.Vlc.Wpf.VlcPlayer { AspectRatio = AspectRatio.Default }; _vlcPlayer.StateChanged += Player_StateChanged; }
public String GetName(VlcPlayer player) { player.Dispatcher.Invoke(new Action(() => { Name = String.Format("{0}-{1}-{2}", GetMediaName(player.VlcMediaPlayer.Media.Mrl.Replace("file:///", "")), (int)(player.Time.TotalMilliseconds), _count++); })); return Name; }
/// <summary> /// Constructor. /// </summary> /// <param name="control">The <see cref="VlcPlayer"/> with which media is played.</param> public VLCPlayer( VlcPlayer control ) { this.player = control; this.player.Initialize( GetLibDirectory( ).FullName, "--no-osd", "--no-sub-autodetect-file" ); this.player.VlcMediaPlayer.MediaChanged += PlayerOnMediaChanged; VideoFileExtensions = new[ ] { "mp4", "mkv", "avi", "divx", "f4v", "flv", "mov", "ogg", "ogm" }; AudioFileExtensions = new[ ] { "mp3", "wav", "flac" }; }