Skip to content

Commit

Permalink
🌳 Tree viewer fix
Browse files Browse the repository at this point in the history
  • Loading branch information
fonsp committed Jul 14, 2020
1 parent 7b5dd1d commit dd23ce9
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion Project.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ name = "Pluto"
uuid = "c3e4b0f8-55cb-11ea-2926-15256bba5781"
license = "MIT"
authors = ["Fons van der Plas <[email protected]>", "MikoÅ‚aj Bochenski <[email protected]>"]
version = "0.10.5"
version = "0.10.6"

[deps]
Base64 = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"
Expand Down
4 changes: 2 additions & 2 deletions src/runner/PlutoRunner.jl
Original file line number Diff line number Diff line change
Expand Up @@ -295,13 +295,13 @@ function show_richest(io::IO, @nospecialize(x); onlyhtml::Bool=false)::MIME
withtag(io, :pre) do
htmlesc(io, repr(mime, x; context=iocontext_compact))
end
elseif mime isa MIME"text/html"
show(io, mime, x)
elseif mime isa MIME"text/latex"
# LaTeXStrings prints $ at the start and end.
# We strip those, since Markdown.LaTeX only contains the math content
texed = repr(mime, x)
html(io, LaTeX(strip(texed, '$')))
else
show(io, mime, x)
end
return MIME"text/html"()
else
Expand Down

2 comments on commit dd23ce9

@fonsp
Copy link
Owner Author

@fonsp fonsp commented on dd23ce9 Jul 14, 2020

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JuliaRegistrator register()

@JuliaRegistrator
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Registration pull request created: JuliaRegistries/General/17917

After the above pull request is merged, it is recommended that a tag is created on this repository for the registered package version.

This will be done automatically if the Julia TagBot GitHub Action is installed, or can be done manually through the github interface, or via:

git tag -a v0.10.6 -m "<description of version>" dd23ce9959826bc5cc6b629107ae6b4435d728a7
git push origin v0.10.6

Please sign in to comment.