Re:Introduction to Pluto.jl
by gugagore on Thursday April 29, 2021 @06:30PM
(#26987601)
What difference does this make, though? Isn't VSCode an Electron app? All of its UI is based on web stuff, anyway!
[ Parent
| on HN ]
Re:Introduction to Pluto.jl
by BlueTemplar on Friday April 30, 2021 @04:43AM
(#26991113)
I assume that at least the browser shortcuts are out of the way ?