From 4e4061708976976cc55f79878ac2a1dc5a6fcf69 Mon Sep 17 00:00:00 2001 From: Paul-Elliot Date: Tue, 9 Jan 2024 14:37:16 +0100 Subject: [PATCH] Add media to search traverse Signed-off-by: Paul-Elliot --- src/search/entry.ml | 2 ++ src/search/text.ml | 4 ++-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/search/entry.ml b/src/search/entry.ml index 0fd9e1c8f7..31ea5c3740 100644 --- a/src/search/entry.ml +++ b/src/search/entry.ml @@ -145,6 +145,8 @@ and entries_of_doc id d = | `Verbatim _ -> [ entry ~id ~doc:[ d ] ~kind:(Doc Verbatim) ] | `Math_block _ -> [ entry ~id ~doc:[ d ] ~kind:(Doc MathBlock) ] | `Table _ -> [] + | `Media (_, _, content) -> + entries_of_doc id { d with value = `Paragraph content } let entries_of_item id (x : Odoc_model.Fold.item) = match x with diff --git a/src/search/text.ml b/src/search/text.ml index 228157e40b..39fa8f4345 100644 --- a/src/search/text.ml +++ b/src/search/text.ml @@ -17,8 +17,7 @@ module Of_document = struct | Entity e -> "&" ^ e | Linebreak -> "\n" | Styled (_, t) -> inline t - | Link (_, t) -> inline t - | InternalLink { content; _ } -> inline content + | Link { content; _ } -> inline content | Source s -> source s | Math m -> m | Raw_markup _ -> "" @@ -59,6 +58,7 @@ module Of_comments = struct | `Code_block (_, s, _todo) -> s |> get_value | `Verbatim v -> v | `Math_block m -> m + | `Media (_, _, is) -> inlines is | `Table _ -> (* TODO *) "" and nestable (n : Odoc_model.Comment.nestable_block_element) =