Hello Peter,
sorry for late reply. Great,.. Works! I downported to the version of
my distribution (1.5.2) and compiled a single patch out of it:
http://linux.pengin.de/#keyboard
Would be great to have it committed (if not already done).
Cheers, Thomas
On Tue, Dec 2, 2008 at 3:53 PM, Peter
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