Comment 8 for bug 745707

Revision history for this message
Raoul Verveer (lazy-r) wrote : Re: Launcher should never autohide when the cursor is positioned over the Launcher

After installing the proposed updates, the launcher still auto-hides when you switch programs (or start one) when there's a maximized window. However, when I point the mouse to the edge and the launcher re-appears, it doesn't immediately auto-hide anymore, until you click it again. This is much better! Thanks for that. :)

But: the auto-hide delay is definitely less than 2 seconds. It's closer to 500ms. If you move the mouse within this time frame the launcher doesn't hide while hovering it. If you hold it still, it does. I still think the delay should be much higher (or at least configurable), or better even: it should only hide when not hovering it.

It still happens (even while I'm aware of this) that I accidentally click something in the window below, while I intended to click an icon in the launcher.