Shift-F2 and similar keyboard combinations does not work. This is because the keyboard map on the server looks like: keycode 68 = F2 XF86_Switch_VT_2 Our keyboard map has been auto generated from a Fedora 16 machine. However, xmodmap is notorious for producing incorrect output. For example, on my CentOS 6 machine, the output is: keycode 68 = F2 XF86Switch_VT_2 F2 XF86Switch_VT_2 This is also incorrect; Shift-F2 does *not* generate XF86Switch_VT_2. On a Fedora 18 machine, however, xmodmap produces a different output: keycode 68 = F2 F2 F2 F2 F2 F2 XF86Switch_VT_2 F2 F2 XF86Switch_VT_2 This is "better", but we will still need to tweak our scripts to deal with this non-traditional format. The other option would be to search for a modern Linux distribution where xmodmap works correctly, in the traditional way.
Should be fixed in r26694, using xmodmap output from Ubuntu 12.04 instead of Fedora 16. Need to test with next nightly build.
Build 3849 seems to work fine. Hotfix published at: http://www.cendio.com/downloads/updates/b4547/
Build 3963 uses XKB, works. Tested with xev, also checked xmodmap -pke.