Comment 3 for bug 705076

We have the same issue in our code as Unity 3D does: other applications do not seem to receive the super key, our dash eats it. I believe we could fix the issue by:
- making sure the dash is shown _only_ if the super key has been pressed and released without any other key having been pressed
- not eating the key event and let other applications receive it