Comment 9 for bug 1243233

@ Bruno,

A friend of mine also uses Ubuntu 13.10 and he brought to my attention that he's also experiencing this same issue as you. He couldn't figure out why my machine was able to see shortcut hints overlay but his couldn't? He looked over my machine and his in a side-by-side comparison since we both own laptops and he figured it out. His machine has workspaces enabled and mine doesn't. He enabled workspaces on my machine and the shortcut hints overlay no longer worked.

Funny thing is, the kernel update from 01-04 partially fixes this issue, only if workspaces is disabled. I don't use workspaces and I think starting in Ubuntu 13.04 (or maybe it was 13.10), they stopped enabling workspaces by default? Needless to say, this issue did persist while workspaces was disabled as you can see in my previous postings here. The latest kernel update fixed it for me since I don't have workspaces enabled.

So now we've narrowed down this bug being specific to workspaces being enabled.