/// <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);
}
