No auto-hide interface when moving mouse
|Reported by:||humdinger||Owned by:||pulkomandy|
- Activate the setting "Auto-hide interface in full screen mode"
- Enter full-screen mode
- Wait for the interface to hide
- Move the mouse to the top of the screen, thereby unhide the interface
- Move the mouse down again and keep on moving the mouse
--> The interface only hides again after you stop moving the mouse. Then it takes the usual timeout of about half a second.
The timeout to hide the interface should start right when the mouse pointer leaves the area of the interface (menu + locator + bookmark bar), no matter if the mouse is still moving or not.
Also, the timeout feels too long. Maybe half that, ca. 0.25s?