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
Add table numbers and captions using new respec option v.2 #1772
Conversation
No review, just a comment/question. I can see the table numbering where there wasn't anything before. Unfortunately I cannot click on it nor is there an ID generated so that I can point people to a specific table like Do you think this is possible also since it would be very useful. |
Note: There is an id, see Unfortunately one needs to look into the HTML source code since the Table header is not clickable like examples or so. |
Good point I'll try to add it. |
@danielpeintner unfortunately there is no built-in way to make the Note: the other table captions need to be updated too. |
There does not seem to be any link for some tables (Table 1 and 2)? I see that for Table 3 there is a link... EDIT: I think changing just some was intentional, right @relu91 ? BTW, there is an open feature request: w3c/respec#4222 and maybe we just need to wait... |
Yes it was, I just didn't want to change all if you don't decide to go in that direction
Ah cool, somehow I missed it. Let's decide int today's call. |
Call of 22.02: We will wait for respec to have the automatic links otherwise the manual part can be done. |
PR in flight: w3c/respec#4392 |
PR merged, release should be done soon. |
@relu91 given that the release has also happened, what should we do with this PR? |
ready to be merged 👍🏻 |
Call of 22.03: No objections, merging since it is an informative change. |
This PR contains the changes of #1712 with an additional commit to fix the renderer. The history was a little messed up so I pointed directly to the main branch.
fixes #1256
Preview | Diff