v0.19.13

Pluto v0.19.13

Try this release in your browser! (Available 30 minutes after the release)

Generate your own binder links using pluto-on-binder.glitch.me!

Diff since v0.19.12

Merged pull requests:

New features

• 🍔 Logs: Vertical layout (#2297) (@fonsp)
• Add unicode preview for auto-complete (#2285) (@Pangoraw)
• PlutoPkg: if Pkg.resolve fails, try updating the registries (#2298) (@fonsp)
• Allow solving multiple definitions by disabling one (#2303) (@Pangoraw, @fonsp)

Performance improvements

• Fix method invalidations around Base.convert (#2300) (@rikhuijzer)

Fixes

• Main menu: opening notebook in a new tab hides the main menu in current tab (#2301)

Internal changes

• Preparations for native Windows app (#2177) (@Illusion47586)
• Attach hljs to the window object to allow custom highlighting within code blocks (#2244) (@disberd)
• Allow rich MIME override (#2299) (@rikhuijzer)
• Allow downstream packages to disable stacktrace prettification (#2302) (@rikhuijzer)
• Using RegistryInstances.jl to avoid some Pkg internal API #2118 (#2289) (@kcin96)