Ubuntu
hud package

  1. Bug #1233712
  2. Comment #7

Comment 7 for bug 1233712

Revision history for this message
Bruno Nova (brunonova) wrote :

I've noticed this too when trying 13.10. It works in 13.04 for me (and it's something that I use a lot).