|
|
b25bc40851
|
Fix PR diff
|
2025-06-08 20:20:13 +01:00 |
|
|
|
f4c77ddd25
|
Send cursors instantly
|
2025-06-08 11:32:41 +01:00 |
|
|
|
02f32e894a
|
Return user name for cursors rather than device
|
2025-06-07 22:13:40 +01:00 |
|
|
|
0908a5b527
|
Remove cursor for disconnected client
|
2025-06-07 12:09:34 +01:00 |
|
|
|
b60cb0104b
|
Make cursor broadcast configurable
|
2025-06-07 11:31:14 +01:00 |
|
|
|
eb1cc61042
|
Implement cursor broadcasting backend
|
2025-06-01 09:50:52 +01:00 |
|
