The update manager suddenly appears, and after updates, now this problem is gone I think. Or, maybe a reboot (suggested by the update manager) solves this problem. (Thinkpad X230, Ubuntu 13.04, updates: security+updates+proposed+backports)
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1006439 Title: HUD doesn't distinguish left Alt key from right Alt key To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/unity/+bug/1006439/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
