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

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

I can't load a static library from Julia, unfortunately. But no worries, I am not blocked by this in particular.

~There seems to be an infinite loop when autocomplete is triggered with this PR, that's why front-end tests fail. Investigating.~

> What is `time_arrow`? It looks like we only assign to it, but never use the value, so we can remove it? Yeap, should be good to go!

> and see if it works? It does work - you can "break" it if you start typing in an intermediate state but the fix for that is something much...

> @pankgeorg How ready is this? When you have lag and two people are typing, it is possible to get to a state when you see something different than the...

Status: works pretty well with 7 connected clients! Had to refresh once because re-application of state failed (server was ok though) Issue: When two people edit the same cell, the...

Love it! Out of my mind: - [ ] Move cells around (with transform 🌠💫) - [ ] hide shoulder - [ ] save that info somewhere (URL?)?

> Hm, ok, this is interesting, but I also think this is too magical and probably out of scope for Juliaup... > > I think at the end of the...

> So you want a way to persist these type of settings in some other way than using the environment? Having such an option is ok on its own, it...

Pkg would handle it. It would "install and load the package" when inside pluto. Roughly equivalent to ``` function Base.show(io, ...) if is_inside_pluto(io::IO) && !isdefined(:PlutoRunner, LatexifyPlutoExt) Pkg.add("LatexifyPlutoExt") using LatexifyPlutoExt end...