Re: [webkit-dev] Request for position: CSS scrollbar-gutter

2021-07-15 Thread Felipe Erias via webkit-dev
Hi webkit-dev, This is a request for an updated position on scrollbar-gutter. The initial version of this spec raised concerns among WebKit and Gecko, mainly regarding its interaction with overlay scrollbars. These issues were eventually solved in a CSS WG meeting where it was agreed to

Re: [webkit-dev] Request for position: CSS scrollbar-gutter

2021-02-24 Thread Felipe Erias via webkit-dev
To illustrate some of the points that came up in this discussion, I have added several examples to the scrollbar-gutter explainer: https://github.com/felipeerias/scrollbar-gutter-explainer#examples These should run well in Chrome after enabling the "Experimental Web Platform features" in

Re: [webkit-dev] Request for position: CSS scrollbar-gutter

2021-02-24 Thread Felipe Erias via webkit-dev
Thank you very much. In terms of the clarity of the API, I am not sure that it would be a good idea to split the existing functionality into one property and several environment variables. One drawback of env variables is that there will probably be quite a few of them to take into account,

Re: [webkit-dev] Request for position: CSS scrollbar-gutter

2021-02-24 Thread Felipe Erias via webkit-dev
Thank you very much. I understand that your concern is mainly about the "always" keyword of scrollbar-gutter, where space is reserved for the scrollbar regardless of whether it is of the fixed or overlay kind. This keyword is intended as a simple solution for situations where the overlay

Re: [webkit-dev] Request for position: CSS scrollbar-gutter

2021-02-23 Thread Emilio Cobos Álvarez via webkit-dev
I guess that'd solve parts of the issue, but not the use-case of non-overlay scrollbars in overflow: auto causing reflow when the content initially overflows. But it seems like a much simpler version of scrollbar-gutter (one that would only work with non-overlay scrollbars, and on scrollable

Re: [webkit-dev] Request for position: CSS scrollbar-gutter

2021-02-23 Thread Emilio Cobos Álvarez via webkit-dev
Just thinking out loud, but has an environment variable for scrollbar widths (maybe two, one for thin scrollbars, one for regular-width scrollbars) be enough to do the job here? I recall similar proposals in the CSSWG, but I'm not sure if they were discussed seriously. It seems it should be

Re: [webkit-dev] Request for position: CSS scrollbar-gutter

2021-02-23 Thread Simon Fraser via webkit-dev
WebKit does not support this feature as specified. Our opinion is that we don't want to encourage web developers to reserve space for scrollbars in a way that prevents non-interactive content from intruding into that space. This undoes a big advantage of overlay scrollbars, in that they leave

[webkit-dev] Request for position: CSS scrollbar-gutter

2021-02-23 Thread Felipe Erias via webkit-dev
Hi webkit-dev, This is a request for WebKit's position on the CSS "scrollbar-gutter" property. The spec status is Working Draft. This feature is already implemented in Chrome behind a flag. Spec: https://drafts.csswg.org/css-overflow-4/#scrollbar-gutter-property Explainer: