- 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
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> <dael> Topic: [css-scroll-snap] should scroll-snap-margin lose it's snap?<br> <dael> github: https://github.com/w3c/csswg-drafts/issues/1954<br> <dael> astearns: Since scroll-snap-padding is now scroll-padding, should scroll-snap-margin be scroll-margin<br> <dael> TabAtkins: fantasai and I are fine with it. Seems good. I don't believe there are impl so rename shoudl be free.<br> <dael> florian: I seemed to remember during TPAC we had a discussion where that rename would be useful, not jsut principle.<br> <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> <dael> florian: okay, yes, I'm all for it.<br> <dael> dbaron: I'm a little worried the name sounds more like something general, but maybe it's okay.<br> <dael> astearns: Right, margin on scroll port rather then margin on an item in scrolling situations? The name could invite that confusion<br> <dael> TabAtkins: Yes, that's an unfortunate consiquence.<br> <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> <dael> dbaron: Somebody might expect it to be margin on the stuff inside the scrollport<br> <dael> fantasai: that's what it is, isn't it?<br> <dael> florian: What do you mea by stuff?<br> <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> <dael> dbaron: That's something today people can't control because that's a function of what the scrollable overflow is.<br> <dael> dbaron: Maybe it's not a big deal.<br> <fantasai> +1 to florian's reply<br> <dael> florian: I think what you're talking about is more similar to padding than margin<br> <dael> dbaron: I guess we should go ahead with it. Maybe worth another issue about poss. confusion<br> <dael> astearns: Any other concerns?<br> <dael> astearns: Obj to rename scroll-snap-margin to scroll-margin<br> <dael> RESOLVED: rename scroll-snap-margin to scroll-margin<br> </details> -- 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