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

Embed gifs and videos

Browse Source
This commit is contained in:
Antoine Levitt 2019-11-11 10:49:55 +01:00
parent 25313f6b43
commit cb4702f7b8
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/animation.jl
View File

@ -104,12 +104,12 @@ end
# write out html to view the gif # write out html to view the gif
function Base.show(io::IO, ::MIME"text/html", agif::AnimatedGif) function Base.show(io::IO, ::MIME"text/html", agif::AnimatedGif)
ext = file_extension(agif.filename) 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" write(io, if ext == "gif"
"<img src=\"$link\" />" "<img src=\"data:image/gif;base64," * base64encode(read(agif.filename)) * "\" />"
elseif ext in ("mov", "mp4") elseif ext in ("mov", "mp4")
"<video controls><source src=\"$link\" type=\"video/$ext\"></video>" "<video controls><source src=\"data:video/$ext;base64," *
base64encode(read(agif.filename)) *
"\" type = \"video/$ext\"></video>"
else else
error("Cannot show animation with extension $ext: $agif") error("Cannot show animation with extension $ext: $agif")
end) end)