mantao/Plots.jl
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #2217 from daschw/animation

Browse Source 
fix html output of video animations
This commit is contained in:
Daniel Schwabeneder 2019-10-11 12:54:39 +02:00 committed by GitHub
commit 2dc3096ee9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/animation.jl
View File

@ -104,7 +104,7 @@ function Base.show(io::IO, ::MIME"text/html", agif::AnimatedGif)
write(io, if ext == "gif"
"<img src=\"$(relpath(agif.filename))\" />"
elseif ext in ("mov", "mp4")
"<video controls><source src=\"$(relpath(agif.filename)) type=\"video/$ext\"></video>"
"<video controls><source src=\"$(relpath(agif.filename))\" type=\"video/$ext\"></video>"
else
error("Cannot show animation with extension $ext: $agif")
end)