Michiel Dral

CLI options (--entry)

10

Hey! I really love how easy backpack makes writing scripts and servers :D One thing that I would like to see is the ability to provide some options when running...

Over-indent multiline interpolations

3

I made this PR after needing the same features as #12 It looks at the value in interpolations and adds the indentation to every but the first line (because that...

Direct communication link between user JS and JL (and maybe WebIO support)

36

Some things are still needed before merging, like writing the small HTTP-interop types for making AssetRegistry more generic. ~Also, I just copied in Require to prevent a dependency, but I...

Import PlutoRunner as module in Loader.jl

9

No idea if this is faster currently, or if it will every be... But apart from having to do `Pkg.develop()` this feels like a more mature way to load PlutoRunner...

URL shortener

2

Awesome project! :) Would you like a PR that integrates a simple "short url" field that uses an URL shortener API to shorten the (pretty huge) magnet link? Even though...

Some extensions don't work well with windowed. They don't crash, but windowed doesn't work. This is not because the others extension made a mistake, there just isn't a way to...

PlutoHTMLElement and PlutoHTMLElementList

4

### What This replaces `PlutoRunner.DivElement` with two new primitives: `PlutoHTMLElement` and `PlutoHTMLElementList`. ### Why The problem with `DivElement` are 1. It's always a div 2. There is no way to...