You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If there is a page with a header of "Rust", then the fragment URL will not work for that section because there is a conflict with the id used by the theme selector.
To reproduce, create a page with ## Rust. If you try to click on the header, the right-pointing quotation mark does not appear. The #rust fragment does not scroll to the section. The same will happen with other sections with the same name as a theme.
This is a problem with the rust-lang/rust linkchecker which requires that all id's are unique.
Perhaps mdbook id's (like the theme buttons) should use more unique id names (maybe mdbook- prefix)?
The text was updated successfully, but these errors were encountered:
If there is a page with a header of "Rust", then the fragment URL will not work for that section because there is a conflict with the id used by the theme selector.
To reproduce, create a page with
## Rust
. If you try to click on the header, the right-pointing quotation mark does not appear. The#rust
fragment does not scroll to the section. The same will happen with other sections with the same name as a theme.This is a problem with the rust-lang/rust linkchecker which requires that all id's are unique.
Perhaps mdbook id's (like the theme buttons) should use more unique id names (maybe
mdbook-
prefix)?The text was updated successfully, but these errors were encountered: