use PlutoUI.details for Foldable (#60)

JuliaPluto · Oct 4, 2024 · 562dd11 · 562dd11
1 parent 316af4e
commit 562dd11
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 10 deletions.
diff --git a/src/PlutoTeachingTools.jl b/src/PlutoTeachingTools.jl
@@ -6,6 +6,7 @@ using Downloads: download # used in robustlocalresouce.jl
 using PlutoUI: Resource, LocalResource # used in robustlocalresouce.jl
 using PlutoUI: combine # used in footnotes.jl
 using PlutoUI: Select # used in i8n/i8n.jl
+using PlutoUI: details # used in present.jl for Foldable
 using Latexify: latexify # used in latex.jl
 
 using PlutoLinks: @ingredients

diff --git a/src/present.jl b/src/present.jl
@@ -6,17 +6,8 @@ function present_button(lang::AbstractLanguage=default_language[])
     htl"<button onclick='present()'>$txt</button>"
 end
 
-struct Foldable{C}
-    title::String
-    content::C
-end
+Foldable(title, content) = details(title, content)
 
-function Base.show(io, mime::MIME"text/html", fld::Foldable)
-    write(io, "<details><summary>$(fld.title)</summary><p>")
-    show(io, mime, fld.content)
-    write(io, "</p></details>")
-    return nothing
-end
 
 struct TwoColumn{L,R}
     left::L