- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Tue, 17 Dec 2019 12:20:46 +0000
- To: public-i18n-archive@w3.org
Here are various thoughts: 1. let's not change any of the ids currently in the source text, otherwise links will break 2. we shouldn't rely on any ids produced by respec, since these will change and links will break. We should try to add ids to the source text wherever they are useful for linking. 3. i proposed a method for adding new ids at https://github.com/w3c/jlreq/issues/7#issuecomment-288099257 which i think we should adopt. Basically use the format `id="f20191217000"` where the first set of digits represents the date per UTC, and the last 3 digits are unique within a day, and are reset to 000 each UTC day. If we are in agreement to adopt that policy, i agree with Fuqiao that we should document it in EDITING.md. 4. it would be useful if the reader was able to see the ids more easily. I wonder whether we can apply some javascript to display ยง in the margin, like respec does for headings. -- GitHub Notification of comment by r12a Please view or discuss this issue at https://github.com/w3c/jlreq/issues/154#issuecomment-566518725 using your GitHub account
Received on Tuesday, 17 December 2019 12:20:47 UTC