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. TedReceived on Monday, 18 February 2013 20:58:45 UTC
This archive was generated by hypermail 2.4.0 : Friday, 25 March 2022 10:08:26 UTC