Thomas, here's the set of patches that appears to fix the problem. It's a combination of some bugs and insanity in the XKB protocol.
Basically, we're required to convert from XKB to core (including the weird replication in ae986d1c73d), but when converting back we're missing vital information and that leaves us up to guesswork. Please try the attached patches, they seem to fix the issue. Cheers, Peter _______________________________________________ xorg mailing list email@example.com http://lists.freedesktop.org/mailman/listinfo/xorg