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

Assign ID to each note part and list item #22

Closed
himorin opened this issue May 12, 2020 · 4 comments · Fixed by #31
Closed

Assign ID to each note part and list item #22

himorin opened this issue May 12, 2020 · 4 comments · Fixed by #31

Comments

@himorin
Copy link
Contributor

himorin commented May 12, 2020

from #17 (comment)

Assign ID to aside element of each note part.
(also modify references with suitable link)

@himorin himorin changed the title Assign ID to each note part Assign ID to each note part and list item May 12, 2020
@himorin
Copy link
Contributor Author

himorin commented May 12, 2020

Also for list items: #17 (comment)

Any other...?

@himorin
Copy link
Contributor Author

himorin commented May 14, 2020

@himorin himorin added this to the 202006-release milestone May 28, 2020
@himorin
Copy link
Contributor Author

himorin commented May 29, 2020

although there is no agreed way in w3c/jlreq#154, this is initial release (to be as FP-Note on /TR/) and assignment will be done only with this issue, I'll take a way of "[ln]YYYYMMDDXXX" with l = li, n = note, XXX is sequence for each l or n.

@himorin
Copy link
Contributor Author

himorin commented May 29, 2020

pushed PR.
in addition to this, do we want to have heading for getting link, as: w3c/jlreq#154 (comment)?

@r12a r12a closed this as completed in #31 Jun 1, 2020
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 a pull request may close this issue.

1 participant