Skip to content

Show packages and libraries in the breadcrumbs #1190

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

Closed
wants to merge 5 commits into from

Conversation

Julow
Copy link
Collaborator

@Julow Julow commented Aug 26, 2024

This is still work in progress as pages that are inside a library are not recognized and the library name might be inconsistent with the one passed to the link command.

This makes the breadcrumbs more readable by removing uninterested components and make the beginning of the module path more recognizable.
The `Library constructor is added to identifiers to propagate this information.

@panglesd
Copy link
Collaborator

This change requires a change in sherlodoc, likely due to the change in the identifier type.

Do you have a branch with the required modification, so that I can test this PR?

This function is a bad alias to `string_of_kind` and gets in the way of
grepping.
The `is_dir` function has only two purposes and is hard to maintain in
the several places where it's defined. For example, when the identifier
type changes.
Use a pair of booleans and move its definition into the Url module
instead.
The new constructor identify which part of the identifier is not just a
page but a library. This will be used to propagate the information to
breadcrumbs.
This makes the breadcrumbs more readable by removing unteresting
components and make the beginning of the module path more recognizable.
@Julow
Copy link
Collaborator Author

Julow commented Sep 5, 2024

Oops I forgot about that. Here's the fix: jonludlam/sherlodoc#1 (branch odoc3_breadcrumbs_library)

@Julow
Copy link
Collaborator Author

Julow commented Sep 6, 2024

I'll put this PR as a draft while I work a bit more on breadcrumbs to be sure it's the right direction. We'll have to propagate the "short title" of pages into the breadcrumbs, also for package and library index pages, and I don't know if this change will still be required for that.

@Julow Julow marked this pull request as draft September 6, 2024 09:36
@Julow
Copy link
Collaborator Author

Julow commented Sep 27, 2024

Closing as this is probably not the right approach. Maybe #1196 is better.

@Julow Julow closed this Sep 27, 2024
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 this pull request may close these issues.

2 participants