[vbox-dev] BIOS boot device selection

[Jean-Jacques Sarton]

Hi,

I have worked  out a fewa other modifications to logo.c

There are 3 call which may return a key stroke. Setting of scan_code is
now only done if the value for scan_code is not F12_SCAN_CODE.

With these modifications pressing the F12 key will work regardless of
time of recognition of the stroke.

Regards,

Jean-Jacques

-------------- next part --------------
A non-text attachment was scrubbed...
Name: logo.c
Type: text/x-csrc
Size: 30627 bytes
Desc: not available
URL: <http://www.virtualbox.org/pipermail/vbox-dev/attachments/20070403/48274bfc/attachment.bin>