Arindelle,
Thank you—you've solved my problem. When Matt told me, a couple of weeks ago, how to edit the play/pause keyboard shortcut, he did so solely via an edit to the value for the "TranslateFlags" entry for 28011 in the "Playback engine shortcuts" section, and so I assumed that all playback-related keyboard shortcut modifications would be made via a new "TranslateFlags" value—a value that I had no way of knowing—in that same section. Consequently, I didn't even look at other sections of the document below the "Playback engine shortcuts" section, and so I didn't see the "General shortcuts" section, where the other keyboard shortcuts that I'm interested in are clearly shown. Now that I've seen that section, I'm good to go.
I am curious about one last point though: Could someone give me a very brief explanation as to why there is one method (i.e., a new "TranslateFlags" value) for handling the pause function and another method (i.e., a new "Key" value) for handling the "stop" function?
By the way, I'm new to JRiver MC and want to say that it is by far the best media player I've come across. Well done!
Thanks again!
George