Skip to content

Commit

Permalink
Sidebar: Use short title if present
Browse files Browse the repository at this point in the history
  • Loading branch information
panglesd committed Nov 27, 2024
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
Expand Up @@ -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
Expand Down

0 comments on commit e2a73b3

Please sign in to comment.