Comment 2 for bug 237635

Here is a patch (kindly prepared by Lars Wirzenius) that simply sets the key to right-ctrl. This is probably not a workable general solution, but at least it points to the right place in the code :)