I was using "Dell" as keyboard model (the machine is a Dell inspiron 1420). Now that I've switched to "Evdev-managed keyboard" to work around another bug, the problem seems to have disappeared.
-- Some keyboard shortcuts are not working https://bugs.launchpad.net/bugs/254726 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
