[vlc-devel] [vlc-commits] config: bind the media keys by default (in addition to regular ones)
remi at remlab.net
Sun Aug 12 19:13:14 CEST 2012
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)
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.
C/C++ software engineer looking for a job
More information about the vlc-devel