This bug was fixed in the package gfxboot-theme-ubuntu - 0.7.0
--------------- gfxboot-theme-ubuntu (0.7.0) jaunty; urgency=low
* Pop up "Other options" menu after pressing F6 just once, rather than requiring two presses (LP: #294840).
-- Colin Watson <email address hidden> Thu, 20 Nov 2008 14:13:22 +0000
This bug was fixed in the package gfxboot- theme-ubuntu - 0.7.0
--------------- theme-ubuntu (0.7.0) jaunty; urgency=low
gfxboot-
* Pop up "Other options" menu after pressing F6 just once, rather than
requiring two presses (LP: #294840).
-- Colin Watson <email address hidden> Thu, 20 Nov 2008 14:13:22 +0000