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
Friendlier anchors on /wg #1481
Comments
@rjsparks@nostrum.com changed keywords from `` to |
@mahoney@nostrum.com commented There are now short ids for the areas (e.g., art) on the wg/ page. The working group themselves do not yet have ids. |
@mahoney@nostrum.com commented From 37f8695: added anchors for working group rows. Still needs some work since the anchor ends up being under the menu bar. Partially addresses issue #1481. Commit ready for merge. |
@henrik@levkowetz.com commented From a124811: Merged in 37f8695 from mahoney@nostrum.com: |
@rjsparks@nostrum.com changed status from |
@rjsparks@nostrum.com changed resolution from `` to |
@rjsparks@nostrum.com commented Fixed in 1c04745: Provides menubar offset for wg anchors on the /wg page. Fixes #1481. Commit ready for merge. |
@henrik@levkowetz.com commented Fixed in c90977e: Merged in 1c04745 from rjsparks@nostrum.com: |
keyword_easy
keyword_sprint
resolution_fixed
type_enhancement
| by rjsparks@nostrum.comRight now, the only anchors into the area sections of /wg are the ids on
:
Links like https://datatracker.ietf.org/wg/#Real-timeApplicationsandInfrastructureArea are a real pain to type. It took me three tries to get it right for this ticket.
It would be much nicer to say https://datatracker.ietf.org/wg/#RAI
It would also be nice to be able to say https://datatracker.ietf.org/wg/#stir
Issue migrated from trac:1481 at 2022-03-04 03:51:02 +0000
The text was updated successfully, but these errors were encountered: