ok, that will change a little bit the current behavior (more than what I was proposing in fact) and I'll try to have a look and tackle it.
I would propose 250ms before showing the launcher (as it's after that amount of time we decide that we don't have a "tap on super" to show the dash). The last remark is right, the "hide instantly" has been removed when the HideMachine was rewritten, let me see how/if I can change and put that in effectively :) -- 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 and refine the shortcut <show launcher behavior> -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
