👪 Realtime collaboration

[pankgeorg]

[github-actions]

Try this Pull Request!

Open Julia and type:

julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/fonsp/Pluto.jl", rev="local-state-sync-main")
julia> using Pluto

[fonsp]

What is time_arrow? It looks like we only assign to it, but never use the value, so we can remove it?

[pankgeorg]

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!

[fonsp]

Can you run this with

Pluto.run(simulated_lag=1.0)

and see if it works?

[fonsp]

@pankgeorg How ready is this?

[pankgeorg]

@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 other client, as a 'final' state of the document, as the two states don't converge to the same 'final' for some reason. I'm not sure if this is fixable by our current approach; I'll investigate more. It works like a charm when only one party is making edits though.

Update: But maybe the last update fixes that too
Update 2: It does fix the convergence issue but it's much more unstable because older changes may be reapplied before convergence. (you write 'using Dates' and you see some of it disappear and reappear later)

[fonsp]

https://gist.github.com/fonsp/34dcc52e853baf512341034ede911f3f

[pankgeorg]

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 cursor goes back to the first line.
Options: keep your cursor at the same position as before (if it exists) OR move the cursor along with the last used cursor (which re quires syncing the cursor too)

[fonsp]

Issue: When two people edit the same cell, the cursor goes back to the first line. Options: keep your cursor at the same position as before (if it exists) OR move the cursor along with the last used cursor (which re quires syncing the cursor too)

I thought we were only going to allow editing by one person at a time? Disabling input for others

[fonsp]

First crash (browser freezed):

[fonsp]

Second crash (browser freezed):

The error is probably fine (and not the cause of the freeze), but you're not supposed to get that warning

[dralletje]

@pankgeorg looking at this now.. 😏

[fonsp]

f3fce3e (#1729)

This is great functionality but it really should not have been in this PR... We just want to get this PR done so that we can merge it, this makes that more difficult. (Right?) @dralletje or @pankgeorg let's make a new branch for those new features and undo it on this PR?

[dralletje]

Grrrrr

But you make a good point