Re: [csswg-drafts] [mediaqueries] rename pointer/hover to main-pointer/hover

I agree with Tab.

Also, having a short name and a long name tends to encourage people to
 use the short one if they haven't particularly thought about it, 
which here is generally the right thing to do, so I'd like to keep 
that.

-- 
GitHub Notification of comment by frivoal
Please view or discuss this issue at 
https://github.com/w3c/csswg-drafts/issues/174#issuecomment-224792325 
using your GitHub account

Received on Thursday, 9 June 2016 03:34:56 UTC