- From: Khushal Sagar via GitHub <sysbot+gh@w3.org>
- Date: Thu, 24 Oct 2024 02:56:02 +0000
- To: public-css-archive@w3.org
I'm more inclined towards (1) in comparison to (2) because it feels like the cases which break with it would be rarer (nested children on top of scrollbar) or less noticeable (border-radius clipping) than the scrollbar disappearing completely. I'd be ok with (3) or (4), it comes with extra complexity but maybe it's worth it. We'll need to make sure we size the boxes properly to account for the scrollbar and also copy over any css properties for custom scrollbars. -- GitHub Notification of comment by khushalsagar Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/11079#issuecomment-2434136557 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 24 October 2024 02:56:03 UTC