On Windows, Ctrl-Alt is mapped to AltGr, but not so on Linux..
Using AltGr for 3rd level keys is wrist-killer nr. 1! I'm unable to find a workaround that doesn't remove other functionality I use (the few mapping options in keyboard settings). I found references for other with the same problems (plenty of Europeans..), but I haven't found a single acceptable workaround.
Has anyone found a way to map Ctrl-Alt to AltGr?
BTW: I've mapped left alt for 3rd level keys, and disabled altgr (which makes altgr behave like regular alt). This works, but it makes between windows and linux (or other workstations) a lot harder...
