Pluto v0.12.20
Closed issues:
- @Bind cells with PlutoUI/HTML elements do not sync between parallel sessions (#385)
- "Undo" delete fails when multiple cells are deleted (#482)
PyPlotwoes (#511)- Low hanging fruit to make the UI faster? (#581)
- Unfolding a cell scrolls the page (#617)
- End-to-end test improvements and additions (#621)
- Pluto sometimes does not copy to the right buffer for linux systems (#649)
- Pluto notebook freeze unexpectedly on warnings (#659)
- Consider using Scratch.jl instead of storing things in .julia/ (#676)
- Compatibility with Julia 1.6 - method tables (#705)
- Sticky Headers break when column name is large (#712)
- code cells not rendering properly on Android via github (#785)
- Plots.jl pyplot backend segfaults in Pluto.jl (#786)
- Cannot copy from code cells in static export html (#823)
- Release 0.12.19 with backported updates (#845)
- Pluto.run(notebook=path) does not open browser in Windows 10 (#862)
- Space mono does not always load (#873)
Merged pull requests: