[MPlayer-dev-eng] [PATCH] F11 and F12 support in the input system

[Diego Biurrun]

Vladimir Mosgalin writes:
 > On Fri, 16 Jan 2004, Diego Biurrun wrote:
 > 
 > DB>While grepping through the sources I noticed that keys also get
 > DB>defined in Gui/wm/wskeys.h and Gui/wm/wsmkeys.h, so I made a second
 > DB>patch for Gui/.  F11 and F12 work in the GUI without adding these
 > DB>defines.  Arpi said on IRC that they have been obsoleted by the new
 > DB>input system but may still be used by some output drivers.  grep did
 > DB>not turn up anything, though.  I'll also commit this in a few days if
 > DB>nobody objects.
 > 
 > You missed vo_sdl.c file, you should add two lines there too.

Thanks, I just committed and included vo_sdl.c as well.

Diego