From b78da20d04e59f4250268ab762c36c19c8a469d8 Mon Sep 17 00:00:00 2001 From: SimonDanisch Date: Tue, 19 Mar 2019 12:40:40 +0100 Subject: [PATCH] add support for gif mime --- src/animation.jl | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/animation.jl b/src/animation.jl index e8017ff1..59de784e 100644 --- a/src/animation.jl +++ b/src/animation.jl @@ -106,6 +106,14 @@ function Base.show(io::IO, ::MIME"text/html", agif::AnimatedGif) end +# Only gifs can be shown via image/gif +Base.showable(::MIME"image/gif", agif::AnimatedGif) = file_extension(agif.filename) == "gif" + +function Base.show(io::IO, ::MIME"image/gif", agif::AnimatedGif) + write(io, read(agif.filename)) +end + + # ----------------------------------------------- function _animate(forloop::Expr, args...; callgif = false)