W3C home > Mailing lists > Public > public-css-archive@w3.org > December 2017

Re: [csswg-drafts] [css-scroll-snap] should scroll-snap-margin lose it's snap?

From: CSS Meeting Bot via GitHub <sysbot+gh@w3.org>
Date: Thu, 07 Dec 2017 00:14:09 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-349818175-1512605648-sysbot+gh@w3.org>
The Working Group just discussed `[css-scroll-snap] should scroll-snap-margin lose it's snap?`, and agreed to the following resolutions:

* `RESOLVED: rename scroll-snap-margin to scroll-margin`

<details><summary>The full IRC log of that discussion</summary>
&lt;dael> Topic: [css-scroll-snap] should scroll-snap-margin lose it's snap?<br>
&lt;dael> github: https://github.com/w3c/csswg-drafts/issues/1954<br>
&lt;dael> astearns: Since scroll-snap-padding is now scroll-padding, should scroll-snap-margin be scroll-margin<br>
&lt;dael> TabAtkins: fantasai and I are fine with it. Seems good. I don't believe there are impl so rename shoudl be free.<br>
&lt;dael> florian: I seemed to remember during TPAC we had a discussion where that rename would be useful, not jsut principle.<br>
&lt;dael> fantasai: Previously we renammed padding because it had effects without snap.  When we did 1708 for using margin when not in snapping mode, it now makes sense.<br>
&lt;dael> florian: okay, yes, I'm all for it.<br>
&lt;dael> dbaron: I'm a little worried the name sounds more like something general, but maybe it's okay.<br>
&lt;dael> astearns: Right, margin on scroll port rather then margin on an item in scrolling situations? The name could invite that confusion<br>
&lt;dael> TabAtkins: Yes, that's an unfortunate consiquence.<br>
&lt;dael> fantasai: Another thing to note is that point of confusion existed independant. It's just the choice of using padding and margin. And what would a margin be outside a scrollport.<br>
&lt;dael> dbaron: Somebody might expect it to be margin on the stuff inside the scrollport<br>
&lt;dael> fantasai: that's what it is, isn't it?<br>
&lt;dael> florian: What do you mea by stuff?<br>
&lt;dael> dbaron: The gap between...when you hit the edge of the scrollport between the edge of the content and the limit of what you can scroll to.<br>
&lt;dael> dbaron: That's something today people can't control because that's a function of what the scrollable overflow is.<br>
&lt;dael> dbaron: Maybe it's not a big deal.<br>
&lt;fantasai> +1 to florian's reply<br>
&lt;dael> florian: I think what you're talking about is more similar to padding than margin<br>
&lt;dael> dbaron: I guess we should go ahead with it. Maybe worth another issue about poss. confusion<br>
&lt;dael> astearns: Any other concerns?<br>
&lt;dael> astearns: Obj to rename scroll-snap-margin to scroll-margin<br>
&lt;dael> RESOLVED: rename scroll-snap-margin to scroll-margin<br>

GitHub Notification of comment by css-meeting-bot
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/1954#issuecomment-349818175 using your GitHub account
Received on Thursday, 7 December 2017 00:14:13 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 06:41:21 UTC