Have a way to use Pluto default show for types which define a custom show method

[disberd]

Currently, if I create a type MyType and define a override Base.show(io::IO, x::MyType) or Base.show(io::IO, ::MIME"text/plain", x::MyType), then I lose the default show method in Pluto, and there is not method to get it back.

It would be good to be able to decide I want my type to have a custom show in the REPL but do not impact the Pluto default show method.

I remember somebody raised this issue question before in either zulip/discourse but can't find it anymore.

Discussed this today at the dev call and @fonsp also agrees that we should have this capability

[cstjean]

Having a way to "display this object as a Pluto object tree of ..." would also be very nice!

[MasonProtter]

Here's the Zulip thread with the request: https://julialang.zulipchat.com/#narrow/channel/243342-pluto.2Ejl/topic/show.20method

[MasonProtter]

Here's two potential ways to handle this:

1. Give users a function they can call, so that e.g. they can write

Base.show(io::IO, ::MIME"text/html", x::MyType) = PlutoRunner.pluto_show(io, x)

2. Define some trait they can overwrite that communicates to Pluto that it should use Pluto's tree-view instead of the regular show method

PlutoRunner.use_treeview(::MyType) = true