Example #1
0
        private void NotifyPlaybackPositionChanged(bool userChange)
        {
            if (userChange)
            {
                AutoPanToPlaybackHeader = false;
                AutoFollowTail          = false;
            }

            PlaybackPositionChanged handler = OnPlaybackPositionChanged;

            if (handler != null)
            {
                handler(userChange);
            }
        }
 private void Player_PlaybackPositionChanged(object player, CustomEventArgs <TimeSpan> args)
 {
     PlaybackPositionChanged.IfNotNull(i => i(this, new ScriptEventArgs <double>(args.Value.TotalSeconds)));
 }
Example #3
0
 protected virtual void OnPlaybackPositionChanged(PlaybackPositionChangedEventArgs e) =>
 PlaybackPositionChanged?.Invoke(this, e);