I think this is right. Let me rephrase and see if you agree, Didier. Pressing Super does not instantly display the launcher, in case the user is pressing Super-1 or Super-D etc., or if However, this period is very short. Maybe 100-150ms? After that, the launcher displays, and it will stay as long as Super is held down.
After a total of 750ms from the initial press, we display the shortcuts. When the Super key is released: * we wait until a total of 1s has passed since the first press, then hide * if Super has already been held for more than 1s, we hide instantly (I think the latter hiding piece is still not right, so I put it here for completeness). Mark -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/747812 Title: Shortcut hint in Launcher is too large -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
