Franck, please don't rant in bug reports - it really doesn't help. You
have two core developers paying attention to this bug right now, and it
is already on our list to be fixed for 8.04. My experience is that bugs
filled with ranting are less pleasant to spend time on and thus if
anything are less likely to be fixed, so please be nice.

I got a reply from the upstream author, saying:

"If you want to fix this please define a new type in
/usr/share/X11/xkb/types/extra

that does the same thing as the current type used for the space key with
right-ctrl hardcoded instead of using iso_level5, then switch the space
key in fr(oss) to this type.

You have my blessing to merge the result as default in upstream
xkeyboard-config."

I think I get the idea of this, and will figure out an implementation
shortly.

-- 
Right CTRL don't work
https://bugs.launchpad.net/bugs/198759
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to