Comments by a developer inside the Windows Media Player source code

Re:Comments by a developer inside the Windows Media Player s... by jailbird_bd on Sunday September 27, 2020 @05:02AM (#24605247)

Run into a strange behavior though. When I pause the video with the mouse (and consequently, leave the pointer above the play button), and later try to continue the play with space, it will double-press the play button and pause the video again.

[ Parent | on HN ]

Re:Comments by a developer inside the Windows Media Player s... by chrismorgan on Sunday September 27, 2020 @08:03AM (#24605995)

The play button is focused, and pressing Space activates a button. So it resumes playback. Then the key handler kicks in, and recognises that Space should pause playback, so it does that.

(I don’t know which order the two things happen in, but clearly they should make sure both don’t happen.)

[ Parent | on HN ]

Re:Comments by a developer inside the Windows Media Player s... by II2II on Sunday September 27, 2020 @05:50AM (#24605482)

Thank you for pointing that out since it seems to explain why the space bar behaves erratically. I far prefer the space bar to hunting down the k-key when trying to relax.

[ Parent | on HN ]