[vlc-devel] [vlc-commits] config: bind the media keys by default (in addition to regular ones)

[Rémi Denis-Courmont]

Le dimanche 12 août 2012 19:53:20 Rémi Denis-Courmont, vous avez écrit :
> vlc | branch: master | Rémi Denis-Courmont <remi at remlab.net> | Sun Aug 12
> 19:52:09 2012 +0300| [baf3e50be36ff2814cd17c9116b5184ed0ba8c0d] |
> committer: Rémi Denis-Courmont
> 
> config: bind the media keys by default (in addition to regular ones)

Note that this does not preclude binding them globally either. If a key is 
mapped both globally (grabbed) and locally, it will only be delivered to the 
global registrant. Then again, if there is no global hotkey plugin to 
implement grabbing, then the key will be delivered locally.

Thus the four media keys *could* be grabbed by VLCy by default too. I have no 
strong opinion in that respect. However, I do feel that the three volume keys 
belong globally to the desktop mixer, so VLC should not attempt to grab them 
by default. Currently, VLC does not grab any key by default.


Then there is the matter of browser keys. Browser Back, Browser Forward and 
Browser Stop could be bound to Prev, Next and Stop respectively. But such 
bindings would be highly redundant with Media Prev, Media Next and Media Stop. 
As an alternative, Browser Forward could jump to the next frame, Browser Back 
do nothing, and Browser Stop pause inconditionally. That would have my (weak) 
preference.

Following that train of thoughts, Browser Refresh would play inconditionally. 
VLC does not have an action to restart the current item, as far as I know.
I do not know if/how other media players use the browser keys.

I do not see any use for Browser Home. Returning to playlist first item would 
not be very intuitive and is not implemented. The application keys should 
definitely be left unbound, the desktop environment should grab them anyway.

-- 
Rémi Denis-Courmont
C/C++ software engineer looking for a job
http://www.linkedin.com/in/remidenis