Evan AlmloffandJonathan Kelley 3f62cd8fc0 Reconnect the edits websocket if it disconnects (#4391) ...

* Reconnect the edits websocket if it disconnects

* restart the server if the OS kills it

* fix clippy

* clean up code and add more comments

* cleanups

---------

Co-authored-by: Jonathan Kelley <jkelleyrtp@gmail.com>

2025-07-14 13:39:21 -07:00

..

common.js

fix "multiple" attribute (#4323)

2025-06-25 13:13:08 -07:00

core.js

fix "multiple" attribute (#4323)

2025-06-25 13:13:08 -07:00

hash.txt

Reconnect the edits websocket if it disconnects (#4391)

2025-07-14 13:39:21 -07:00

hydrate.js

Translate position to account for the display scaling factor. (#4275)

2025-06-18 16:28:06 -07:00

initialize_streaming.js

Translate position to account for the display scaling factor. (#4275)

2025-06-18 16:28:06 -07:00

native.js

Reconnect the edits websocket if it disconnects (#4391)

2025-07-14 13:39:21 -07:00

patch_console.js

Translate position to account for the display scaling factor. (#4275)

2025-06-18 16:28:06 -07:00