Pluto.jl
Pluto.jl copied to clipboard
Update immer.js
v10 is out and we use v8. Should be 33% faster
I reverted the upgrade in https://github.com/fonsp/Pluto.jl/commit/7354eb8656cb147b8621841d26a4989d1c2b7257
Because this broke:
https://github.com/fonsp/Pluto.jl/blob/7354eb8656cb147b8621841d26a4989d1c2b7257/frontend/components/Editor.js#L712