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

Allow environment to control custom connects to backend

Open pankgeorg opened this issue 1 year ago • 3 comments

  • A new PlutoEvent 🎉 to notify interested parties about when an evaluation cycle is done!
  • Small refactor around BinderLaunch button so it's logic is not too convoluted in the Editor.js
  • Ability to provide custom launch button if some server also provides a static 🌟✨ 'environment'🌟✨ javascript!
  • When an event goes all wrong, stop @warn ing all the event (the notebook can easily cause the logging system to crash, e.g. if you're watching and serving the logs over HTTP)

pankgeorg avatar Jul 13 '22 19:07 pankgeorg

Try this Pull Request!

Open Julia and type:

julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/fonsp/Pluto.jl", rev="pg/more-backends")
julia> using Pluto

github-actions[bot] avatar Jul 13 '22 19:07 github-actions[bot]

can you fix the big diff? did you intend to change the package lock?

fonsp avatar Sep 07 '22 21:09 fonsp

can you fix the big diff? did you intend to change the package lock?

I actually did, to support the next version (16/lts vs 14?) of node if I remember correctly. But since, I couldn't make the bundle work for our usecase so I reverted the update!

pankgeorg avatar Sep 07 '22 21:09 pankgeorg

I looked over the code so far, ✅ code looks great, I just want to run this code locally (without the extension) to make sure that the Run Local / Run Binder buttons still work

fonsp avatar Oct 19 '22 18:10 fonsp

You can merge yourself after addressing/dismissing those comments ✅

fonsp avatar Nov 09 '22 15:11 fonsp