Re:Introduction to Pluto.jl
by tambarskjelve on Friday April 30, 2021 @05:00AM
(#26991232)
> Also, big "ugh" to browser-based tooling.
Hear hear! A simple web-view inside a native application window is a huge improvement imho. If only JuptyerLab provided a simple interface to access menu elements as well, you could easily have a nearly complete native experience.
Hear hear! A simple web-view inside a native application window is a huge improvement imho. If only JuptyerLab provided a simple interface to access menu elements as well, you could easily have a nearly complete native experience.