Display the key in the key binding command.
Add a hack to get the function keys right under Linux.