- From: Samuel Mannehed via GitHub <sysbot+gh@w3.org>
- Date: Thu, 15 Dec 2022 13:38:51 +0000
- To: public-css-archive@w3.org
I like this idea. If we want to follow the same naming convention as with the media query `pointer: fine`, a suggestion is to name this new selector `:hover-fine`. -- GitHub Notification of comment by samhed Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/7544#issuecomment-1353080910 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 15 December 2022 13:38:52 UTC