In message 20070122200734.BA13641A5C@guild.seebs.net, Peter Seebach writes:
I have implemented and tested a patch which is almost certainly unsuitable for production, but which is very convenient to me; it is this patch I enclose. This patch replaces F13-F24 with "control-alt-F1" through "control-alt-F12", and F25-F32 control-alt-shift-F1 through F8.
Except obviously this is the slightly older patch that only does 13-24. Oops! Well, it's a proof of concept anyway.
-s