Special Key Input

Description

The special key support in VirtualBox (as of 1.3.6) is very limited; the menu allows Ctrl-Alt-Del and Ctrl-Alt-Backspace only. With a linux host, switching virtual terminals inside a guest is not possible by means of Ctrl-Alt-F1 through Ctrl-Alt-F12, because these are still intercepted by the host system. I have a few ideas about how to handle this:

Trap ALL keys besides the host key

Add <Host Key>+F1-F12 as shortcuts to Ctrl-Alt-F1-F12

Add an item to the menu that traps ALL keys (possibly even including the host key) until the next non-modifier key is pressed (or the host key is pressed twice, perhaps).