Enable mouse cursor hiding when idle #225
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This lets the mouse cursor be initially hidden, appear when moved, and hidden again after 10 seconds of being idle.
The timing is chosen so that the cursor is normally hidden, but stays visible for relatively long period should someone attach and use a mouse.
We have been hiding idle cursors in the Play web app, but have found that the mouse needs to be moved once upon boot for the web app's logic to work, which leaves the cursor permanently visible in mouse free use. This seems to be a system/engine level issue, that we can not control from the web app. By moving mouse hiding to the OS we can also remove the complexity and event handling overhead from the web runtime.
Checklist