Pluto.jl
Pluto.jl copied to clipboard
with_js_link with stronger invalidation
With this PR, all js links get invalidated when the cell they appear in becomes queued. This is necessary because one of the dependencies of the cell can define a function whose methods are being deleted by Pluto.
But it's a lot of new code for a rare issue.
Maybe this solution can also be used to solve https://github.com/JuliaPluto/PlutoHooks.jl/issues/15
Try this Pull Request!
Open Julia and type:
julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/fonsp/Pluto.jl", rev="with_js_link-with-proper-invalidation")
julia> using Pluto