Skip to content

Commit

Permalink
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Sidebar: Use short title if present
Browse files Browse the repository at this point in the history
panglesd committed Nov 27, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
1 parent 9d693c3 commit e2a73b3
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/document/sidebar.ml
Original file line number Diff line number Diff line change
@@ -101,7 +101,8 @@ end = struct
in
let content =
match entry.kind with
| Page _ ->
| Page { short_title = Some st; _ } -> Comment.link_content st
| Page { short_title = None; _ } ->
let title =
let open Odoc_model in
match Comment.find_zero_heading entry.doc with

0 comments on commit e2a73b3

Please sign in to comment.