No leader if no page number

This commit is contained in:
John Whitington 2024-12-03 17:34:23 +00:00
parent 3ba639824c
commit 7145a558eb

View File

@ -157,13 +157,13 @@ let typeset_table_of_contents ~font ~fontsize ~title ~bookmark ~dotleader pdf =
let textgap = width -. margin *. 2. -. indent -. width_of_runs labelruns in
let textruns = shorten_text fontpack fontsize (textgap -. fontsize *. 3.) textruns in
let space = textgap -. width_of_runs textruns in
[Cpdftype.BeginDest mark.Pdfmarks.target;
Cpdftype.HGlue indent]
@ textruns @
(if dotleader then make_dots space fontpack fontsize else [Cpdftype.HGlue space])
@ labelruns @
[Cpdftype.EndDest;
Cpdftype.NewLine])
let leader =
if dotleader && labelruns <> []
then make_dots space fontpack fontsize
else [Cpdftype.HGlue space]
in
[Cpdftype.BeginDest mark.Pdfmarks.target; Cpdftype.HGlue indent] @ textruns @ leader @ labelruns
@ [Cpdftype.EndDest; Cpdftype.NewLine])
(Pdfmarks.read_bookmarks pdf)
in
let toc_pages, _ =