Pluto.jl icon indicating copy to clipboard operation
Pluto.jl copied to clipboard

Published 20 hours ago • verified publisher icon fonsp

Update immer.js

Open fonsp opened this issue 1 year ago • 1 comments

v10 is out and we use v8. Should be 33% faster

fonsp avatar Aug 11 '24 09:08 fonsp

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

fonsp avatar Aug 15 '24 09:08 fonsp