/// <summary> /// Quand la valeur du slider change /// </summary> /// <param name="sender"></param> /// <param name="e"></param> private void Slider_Position_ValueChanged(object sender, RoutedPropertyChangedEventArgs <double> e) { if (_lastPositionUpdateSource == PositionUpdateSourceEnum.Slider || _lastPositionUpdateSource == PositionUpdateSourceEnum.ThumbDrag) { this.Text_Position.Text = this.GetTimeStringFromSeconds(Convert.ToInt32(this.Slider_Position.Value)); this.JumpToPosition(this.Slider_Position.Value); } _lastPositionUpdateSource = PositionUpdateSourceEnum.Slider; }
/// <summary> /// Quand le drag du thumb commence /// </summary> /// <param name="sender"></param> /// <param name="e"></param> private void Slider_Position_DragStarted(object sender, RoutedEventArgs e) { IsUserDraggingSlider = true; _lastPositionUpdateSource = PositionUpdateSourceEnum.ThumbDrag; }
/// <summary> /// Effectue un saut en avan dans la musique /// </summary> public void JumpForward() { _lastPositionUpdateSource = PositionUpdateSourceEnum.Jump; this.JumpToPosition(_mediaPlayer.Position.TotalSeconds + JumpForwardOffset); }