Skip to content

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