From 27679c9b4f0c7466d4de7ff75768ecd4412d32d5 Mon Sep 17 00:00:00 2001 From: Anshul Singhvi Date: Mon, 5 Aug 2024 11:31:49 -0400 Subject: [PATCH] Add video MIME types to `Documenter.display_dict` --- src/utilities/utilities.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/utilities/utilities.jl b/src/utilities/utilities.jl index 1abbdb337e..03df76433a 100644 --- a/src/utilities/utilities.jl +++ b/src/utilities/utilities.jl @@ -551,6 +551,7 @@ function display_dict(x; context = nothing) out[MIME"text/plain"()] = limitstringmime(MIME"text/plain"(), x, context = context) for m in [MIME"text/html"(), MIME"image/svg+xml"(), MIME"image/png"(), MIME"image/webp"(), MIME"image/gif"(), MIME"image/jpeg"(), + MIME"video/mp4"(), MIME"video/mpeg"(), MIME"video/webm"(), MIME"text/latex"(), MIME"text/markdown"()] showable(m, x) && (out[m] = stringmime(m, x, context = context)) end