From cb4702f7b82afe62b3eea52c54ad667f0ca1b77a Mon Sep 17 00:00:00 2001 From: Antoine Levitt Date: Mon, 11 Nov 2019 10:49:55 +0100 Subject: [PATCH] Embed gifs and videos --- src/animation.jl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/animation.jl b/src/animation.jl index 659353e5..e4a213ce 100644 --- a/src/animation.jl +++ b/src/animation.jl @@ -104,12 +104,12 @@ end # write out html to view the gif function Base.show(io::IO, ::MIME"text/html", agif::AnimatedGif) ext = file_extension(agif.filename) - link = relpath(agif.filename) - link *= "?"*randstring() #to foil browser cache, see https://github.com/JuliaPlots/Plots.jl/issues/2239 write(io, if ext == "gif" - "" + "" elseif ext in ("mov", "mp4") - "" + "" else error("Cannot show animation with extension $ext: $agif") end)