Closed michael-markl closed 3 months ago
The WebSocket mechanism was broken, as a promise was rejected without being caught inside the reconnect logic.
For me, this fixes the problem that SyncTex stopped working after Hibernate / Sleep (see #4242)
Related issues: #4242 #2540 #3996 #1804
The WebSocket mechanism was broken, as a promise was rejected without being caught inside the reconnect logic.
For me, this fixes the problem that SyncTex stopped working after Hibernate / Sleep (see #4242)
Related issues: #4242 #2540 #3996 #1804