- From: Edward O'Connor <eoconnor@apple.com>
- Date: Mon, 18 Feb 2013 12:58:01 -0800
- To: www-style@w3.org
Hi Tab, You wrote: >> On platforms with pointing devices, native media players typically >> hide the cursor when media is playing. The user may make the cursor >> visible again simply by moving their mouse. […] > The auto-hiding behavior seems orthogonal to the pointer being used. I > suggest it be added as an 'auto-hide' value *in addition to* the > existing cursor value. Yeah, good point. If people aren't crazy about adding a second parameter, we could always add a new 'cursor-visibility' property. Ted
Received on Monday, 18 February 2013 20:58:45 UTC