public void ToggleRepeat()
 {
     if (RepeatMode == PlaybackRepeatMode.None)
     {
         RepeatMode = prev_repeat != null ? prev_repeat.Value : PlaybackRepeatMode.RepeatAll;
     }
     else
     {
         prev_repeat = RepeatMode;
         RepeatMode  = PlaybackRepeatMode.None;
     }
 }
 public void ToggleRepeat ()
 {
     if (RepeatMode == PlaybackRepeatMode.None) {
         RepeatMode = prev_repeat != null ? prev_repeat.Value : PlaybackRepeatMode.RepeatAll;
     } else {
         prev_repeat = RepeatMode;
         RepeatMode = PlaybackRepeatMode.None;
     }
 }
 public RepeatModeChangedEventArgs(PlaybackRepeatMode repeat_mode)
 {
     this.repeat_mode = repeat_mode;
 }