Παναγιώτης Γεωργακόπουλος

Results 96 comments of Παναγιώτης Γεωργακόπουλος

> I think the original assumption was that JH will open Pluto notebooks with a sysimage, and with the Manifest-and-Project-that-was-used-to-generate-the-sysimage stored as the global environment. If people were to use...

> This comment - > > > > --- > > > > "But my issue is really simple, I don't want to make a screen recording / notebook! >...

None of these seem necessarily related. Can you check how much is `document.body.querySelectorAll("*").length`?

Yes that is a good point. We probably want something more sophisticated here.

We too have very similar issues. I would try changing `set $session_check_ssi on;`, to `off`, see https://github.com/bungle/lua-resty-session#nginx-configuration-variables. ~And probably use some locking.~ And the `regenerate` strategy (without locking).

Coming to this issue from googling `Error: the certificate used to secure the TLS connection is invalid. and Sending fatal alert BadCertificate`. IT seems that `deno` doesn't load certificates correctly,...

sure! @kryptan can you check if you're using WSL 1 or 2? (running `wsl.exe -l -v` will tell us)

It's not currently on the roadmap even though I do understand that it can be a source of confusion, especially wherever the Pluto key bindings directly disagree with the VSCode...

@fonsp renaming of files and stuff works like a charm. Pluto doesn't (at this point and against @pfitzseb advice) watch the same file as VSCode does. Pluto has a temp...

Hello! I'm sorry this happened! We've seen some instability issues and we're trying to fix them! Can you give us some more info on your setup? Do you use release...