On Windows, Ctrl-Alt is mapped to Alt Gr, but not so on Linux.
Using Alt Gr 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 Alt Gr?
BTW: I've mapped left Alt for 3rd level keys, and disabled Alt Gr (which makes Alt Gr behave like regular Alt). This works, but it makes between Windows and Linux (or other workstations) a lot harder.