I'd agree with you if the user were to actually click on the lock screen option, but if it were just enabled in the screen saver, you wouldn't want the pc to stop playing music just because you're away from the keyboard. On the other hand if you needed to mute the volume quickly for some reason, you couldn't because first you'd have to log back in. Which is why I'd like to have the media hotkeys on the keyboard still responsive, or media player controls on the screen lock widget.
I'd agree with you if the user were to actually click on the lock screen option, but if it were just enabled in the screen saver, you wouldn't want the pc to stop playing music just because you're away from the keyboard. On the other hand if you needed to mute the volume quickly for some reason, you couldn't because first you'd have to log back in. Which is why I'd like to have the media hotkeys on the keyboard still responsive, or media player controls on the screen lock widget.