Here's design guidance: - the Launcher should be visible for at least a second - if the user has held Super for more than a second, so it's been visible for that length, it can disappear as soon as Super is released
So, the instant Super is pressed we can determine the earliest time it should disappear (one second later), and if Super is held longer than that, then releasing Super should hide the launcher immediately. Mark -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/705805 Title: should directly hide the launcher if displayed by super and the key is released -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
