private void OnMediaElementMediaEnded(object sender, RoutedEventArgs e)
 {
     currentBreakpoint = 0;
     mediaElement.Pause();
     mediaElement.Position  = TimeSpan.FromMilliseconds(0);
     videoState             = VideoStates.Paused;
     ButtonPanel.Visibility = System.Windows.Visibility.Visible;
 }
        private void OnIntroVideoPlayerLoaded(object sender, RoutedEventArgs e)
        {
            string temporaryVideoPath = System.IO.Path.GetTempPath() + @"IntroVideo.wmv";

            if (!System.IO.File.Exists(temporaryVideoPath))
            {
                ExtractVideoResourceToFile(temporaryVideoPath);
            }

            mediaElement.Source           = new Uri(temporaryVideoPath);
            mediaElement.LoadedBehavior   = MediaState.Manual;
            mediaElement.UnloadedBehavior = MediaState.Manual;
            mediaElement.Play();
            videoState = VideoStates.Playing;
            timer.Start();
        }
        private void JumpToBreakpoint(int breakpoint, bool startPlaying)
        {
            if (breakpoint < 0 || (breakpoint >= breakpoints.Count))
            {
                return;                // Invalid breakpoint index.
            }
            if (false == startPlaying) // Jump and pause.
            {
                mediaElement.Pause();
                mediaElement.Position  = TimeSpan.FromMilliseconds(breakpoints[breakpoint]);
                videoState             = VideoStates.Paused;
                ButtonPanel.Visibility = System.Windows.Visibility.Visible;
            }
            else
            {
                mediaElement.Position = TimeSpan.FromMilliseconds(breakpoints[breakpoint]);
                mediaElement.Play();
                videoState             = VideoStates.Playing;
                ButtonPanel.Visibility = System.Windows.Visibility.Collapsed;
            }

            //this.Title = mediaElement.Position.TotalMilliseconds.ToString();
        }
Пример #4
0
 private void OnMediaElementMediaEnded(object sender, RoutedEventArgs e)
 {
     currentBreakpoint = 0;
     mediaElement.Pause();
     mediaElement.Position = TimeSpan.FromMilliseconds(0);
     videoState = VideoStates.Paused;
     ButtonPanel.Visibility = System.Windows.Visibility.Visible;
 }
Пример #5
0
        private void OnIntroVideoPlayerLoaded(object sender, RoutedEventArgs e)
        {
            string temporaryVideoPath = System.IO.Path.GetTempPath() + @"IntroVideo.wmv";

            if (!System.IO.File.Exists(temporaryVideoPath))
                ExtractVideoResourceToFile(temporaryVideoPath);

            mediaElement.Source = new Uri(temporaryVideoPath);
            mediaElement.LoadedBehavior = MediaState.Manual;
            mediaElement.UnloadedBehavior = MediaState.Manual;
            mediaElement.Play();
            videoState = VideoStates.Playing;
            timer.Start();
        }
Пример #6
0
        private void JumpToBreakpoint(int breakpoint, bool startPlaying)
        {
            if (breakpoint < 0 || (breakpoint >= breakpoints.Count))
                return; // Invalid breakpoint index.

            if (false == startPlaying) // Jump and pause.
            {
                mediaElement.Pause();
                mediaElement.Position = TimeSpan.FromMilliseconds(breakpoints[breakpoint]);
                videoState = VideoStates.Paused;
                ButtonPanel.Visibility = System.Windows.Visibility.Visible;
            }
            else
            {
                mediaElement.Position = TimeSpan.FromMilliseconds(breakpoints[breakpoint]);
                mediaElement.Play();
                videoState = VideoStates.Playing;
                ButtonPanel.Visibility = System.Windows.Visibility.Collapsed;
            }

            //this.Title = mediaElement.Position.TotalMilliseconds.ToString();
        }