- From: Florian Rivoal via GitHub <sysbot+gh@w3.org>
- Date: Fri, 26 May 2023 10:16:59 +0000
- To: public-css-archive@w3.org
You're right, this is a leftover from when `scrollbar-width` took `<length>` values. It no longer does, so switching to `discrete` does make sense. -- GitHub Notification of comment by frivoal Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/8873#issuecomment-1564161978 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 26 May 2023 10:17:00 UTC