Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: scroll-timeline-axis and scroll-timeline-name are properties #631

Merged
merged 2 commits into from
Jan 30, 2023
Merged

fix: scroll-timeline-axis and scroll-timeline-name are properties #631

merged 2 commits into from
Jan 30, 2023

Conversation

pyoor
Copy link
Contributor

@pyoor pyoor commented Dec 15, 2022

#609 incorrectly recorded the scroll-timeline syntax as <scroll-timeline-name> || <scroll-timeline-axis>. This is incorrect as scroll-timeline-axis and scroll-timeline-name are properties and need to be quoted as such.

@lahmatiy
Copy link
Contributor

According to latest state of spec, scroll-timeline-name and scroll-timeline-axis properties accept a list of values instead of a single one now. So their definitions need to be updated as well:

<scroll-timeline-name> = none | [<custom-ident>]#
<scroll-timeline-axis> = [ block | inline | vertical | horizontal ]#

@github-actions github-actions bot added the idle Issues and pull requests with no activity for three months. label Jan 16, 2023
@teoli2003
Copy link
Contributor

Hi! In order to merge this, commits need to be signed: https://docs.github.com/articles/about-gpg/

@github-actions github-actions bot removed the idle Issues and pull requests with no activity for three months. label Jan 23, 2023
@bsmth
Copy link
Member

bsmth commented Jan 30, 2023

commits need to be signed

This should not be a blocker any more

@teoli2003 teoli2003 merged commit 7bb3805 into mdn:main Jan 30, 2023
@teoli2003
Copy link
Contributor

Thank you!

@github-actions
Copy link
Contributor

Congratulations on your first merged pull request. 🎉 Thank you for your contribution! Did you know we have a project board with high-impact contribution opportunities? We look forward to your next contribution.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants