Ubuntu

  1. Bug #943820
  2. Comment #3

Comment 3 for bug 943820

Revision history for this message
indy (davide-ricci82) wrote :

It affects me too.

I suggest to set up a short waiting time after the release of the <Alt> key.
If in... let's say 200ms, no other key is pressed, then the HUD can show up. If not, he HUD does not show up.