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))); }
protected virtual void OnPlaybackPositionChanged(PlaybackPositionChangedEventArgs e) => PlaybackPositionChanged?.Invoke(this, e);