[xmonad] How to find the XF86Launch1-Key reference?

[wagnerdm at seas.upenn.edu]

Quoting Sergey Manucharian <sergey at ingeniware.com>:

> On Fri, 25 Sep 2009 16:28:06 -0400
> Thomas Friedrich <info at suud.de> wrote:
>> so I know now the keysym and I know its bind to XF86Launch1.  But how
>> do I find out how I can refer to this key within Xmonad?

According to this page:
http://hackage.haskell.org/packages/archive/X11/1.4.5/doc/html/Graphics-X11-ExtraTypes-XF86.html
the constant you want for XF86Launch1 is xF86XK_Launch1 from the  
Graphics.X11.ExtraTypes.XF86 module.

>     -- multimedia keys
>     -- XF86AudioLowerVolume
>     , ((0            , 0x1008ff13), spawn "volume-louder")
>     -- XF86AudioRaiseVolume
>     , ((0            , 0x1008ff11), spawn "volume-quieter")
>     -- XF86AudioMute
>     , ((0            , 0x1008ff12), spawn "volume-mute")
>     -- XF86AudioMicMute
>     , ((0            , 0x1008ff41), spawn "volume-mic-mute")
>     -- XF86AudioNext
>     , ((0            , 0x1008ff17), spawn "player-next")
>     -- XF86AudioPrev
>     , ((0            , 0x1008ff16), spawn "player-prev")
>     -- XF86AudioPlay
>     , ((0            , 0x1008ff14), spawn "player-start")
>     -- XF86AudioStop
>     , ((0            , 0x1008ff15), spawn "player-stop")

I actually winced reading these.  All these keys are defined with  
readable names on the page linked above.
~d