Well, in that case God knows why gnome-terminal behaves differently.
Ok, one more thing. Could you please do 'xkbcomp :0 -xkb out.xkb' for both new and old versions? Attach the result here
Well, in that case God knows why gnome-terminal behaves differently.
Ok, one more thing. Could you please do 'xkbcomp :0 -xkb out.xkb' for both new and old versions? Attach the result here