From e7c716f8dc4b596acf6625eb30eff58971f7c6b9 Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Sat, 4 Nov 2023 15:53:52 +0100 Subject: [PATCH] Update Resource.jl downloadbutton --- src/Resource.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Resource.jl b/src/Resource.jl index 4910232b..182bff3d 100644 --- a/src/Resource.jl +++ b/src/Resource.jl @@ -140,7 +140,7 @@ DownloadButton(data) = DownloadButton(data, "result") function Base.show(io::IO, m::MIME"text/html", db::DownloadButton) mime = mime_fromfilename(db.filename) - data = if db.data isa String || db.data isa AbstractVector{UInt8} || isnothing(mime) + data = if db.data isa Union{AbstractString,AbstractVector{UInt8}} || isnothing(mime) db.data else repr(mime, db.data)