Today's Ubuntu kernel (3.11.0-15-generic) update fixed this problem. The shortcut hints overlay is now working again on my machine.
Today's Ubuntu kernel (3.11.0-15-generic) update fixed this problem. The shortcut hints overlay is now working again on my machine.