Comment 12 for bug 765819

Simon Werbeck (turyai) wrote :

While not exactly the solution to the "responsiveness" of the launcher, I propose to add some sort of (configurable) "set-up" time for the launcher to stay hidden, just like there is a "hold" time for it to stay revealed after moving outside the border.
That means that right after revealing the launcher accidentally, one could move outside of it to make it hide again immediately.