RESOLVED FIXED 218075
Rename scroll-snap-margin to scroll-margin 
https://bugs.webkit.org/show_bug.cgi?id=218075
Summary Rename scroll-snap-margin to scroll-margin
Martin Robinson
Reported 2020-10-22 03:43:04 PDT
This is one part of updating the implementation of scroll-snap-margin to match the most recent CSS Scroll Snap specification. See: https://drafts.csswg.org/css-scroll-snap-1/#scroll-margin
Attachments
Patch (38.88 KB, patch)
2020-10-22 06:31 PDT, Martin Robinson 		no flags
DetailsFormatted DiffDiff
Patch (59.50 KB, patch)
2020-10-22 08:11 PDT, Martin Robinson 		no flags
DetailsFormatted DiffDiff
Patch (79.86 KB, patch)
2020-10-22 10:30 PDT, Martin Robinson 		no flags
DetailsFormatted DiffDiff
Show Obsolete (2) View All Add attachment proposed patch, testcase, etc.
Martin Robinson
Comment 1 2020-10-22 06:31:53 PDT
Created attachment 412091 [details] Patch
Simon Fraser (smfr)
Comment 2 2020-10-22 07:18:43 PDT
Looks like you have some tests to fix.
Martin Robinson
Comment 3 2020-10-22 08:11:29 PDT
Created attachment 412097 [details] Patch
Simon Fraser (smfr)
Comment 4 2020-10-22 08:43:08 PDT
Comment on attachment 412097 [details] Patch r=me with the caveat that if we see compat issues we might have to bring the old names back.
Martin Robinson
Comment 5 2020-10-22 09:50:42 PDT
Thanks for the review! I guess I should mention, in case it changes your feelings about the change, that this patch maintains the old names as aliases. I will fix the failing ios test and try to land this tomorrow.
Martin Robinson
Comment 6 2020-10-22 10:30:53 PDT
Created attachment 412112 [details] Patch
EWS
Comment 7 2020-10-22 13:31:53 PDT
Committed r268889: <https://trac.webkit.org/changeset/268889> All reviewed patches have been landed. Closing bug and clearing flags on attachment 412112 [details].
Radar WebKit Bug Importer
Comment 8 2020-10-22 13:32:53 PDT
<rdar://problem/70587063>
Note You need to log in before you can comment on or make changes to this bug.