Παναγιώτης Γεωργακόπουλος
Παναγιώτης Γεωργακόπουλος
> 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...
It's a duplicate of this https://github.com/fonsp/Pluto.jl/issues/877 right?
> @pankgeorg Let's revive this PR? Seems nice to have Yeap, let's! I think it's ready to go!
Looks great, merging!
Is there a timeline for that?
there is a hidden feature, that is highly likely to be removed in the future, that does what you're describing: ```html"""Present!"""``` It adds a big margin before each markdown title...
Hi @GiggleLiu! This happens while using PlutoUI filepicker, correct?
Ok it seems that's the default browser behaviour; doesn't re-read the file if it's the same. A solution is the below: delete the file when user clicks on the input...
Can you elaborate a bit further? What is the proposed API? What is the use case? Do you need notebooks with Username/password inputs? Why is not enough?