Re: [css4-ui] new 'cursor' value: 'auto-hide'

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