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

Editorial: add some <div algorithm> wrappers #1138

Merged
merged 1 commit into from Dec 15, 2022
Merged

Editorial: add some <div algorithm> wrappers #1138

merged 1 commit into from Dec 15, 2022

Conversation

annevk
Copy link
Member

@annevk annevk commented Dec 15, 2022

And improve the algorithm "headers" at the same time by listing the argument types and default values.


Preview | Diff

And improve the algorithm "headers" at the same time by listing the argument types and default values.
@annevk
Copy link
Member Author

annevk commented Dec 15, 2022

@dlrobertson want to review?

Copy link
Member

@dlrobertson dlrobertson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

\o/ Looks good! After starting to read through some of dom, I had hoped this would start to happen soon

@annevk
Copy link
Member Author

annevk commented Dec 15, 2022

I'm afraid these caught my eye due to some HTML work I'm doing. I don't have the goal of completing this at the moment, but I might get back to it every now and then.

Thanks for the review!

@annevk annevk merged commit 0a00afb into main Dec 15, 2022
@annevk annevk deleted the annevk/wrappers branch December 15, 2022 16:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants