Fix: automatically re-sync Client when out of sync.

Author: bjones1

extensions/VSCode/src/extension.ts

@@ -522,9 +522,25 @@ export const activate = (context: vscode.ExtensionContext) => {
                             // Report if this was an error.
                             const result_contents = value as MessageResult;
                             if ("Err" in result_contents) {
-                                show_error(
-                                    `Error in message ${id}: ${JSON.stringify(result_contents.Err)}`,
-                                );
+                                const err = result_contents[
+                                    "Err"
+                                ] as ResultErrTypes;
+                                if (
+                                    err instanceof Object &&
+                                    "OutOfSync" in err
+                                ) {
+                                    // Send an update to re-sync the Client.
+                                    console.warn(
+                                        "Client is out of sync; resyncing.",
+                                    );
+                                    send_update(true);
+                                } else {
+                                    // If the client is out of sync, re-sync it.
+                                    if (result_contents)
+                                        show_error(
+                                            `Error in message ${id}: ${JSON.stringify(err)}`,
+                                        );
+                                }
                             }
                             break;
                         }

server/src/processing.rs

@@ -1177,7 +1177,8 @@ fn replace_math_node(child: &Rc<Node>, is_hydrate: bool) -> Option<Rc<Node>> {
         // Final test: if the class is correct, this is math; otherwise, perform
         // no transformation.
         //
-        // Add/remove the `mceNonEditable` class to prevent accidental edits of this span.
+        // Add/remove the `mceNonEditable` class to prevent accidental edits of
+        // this span.
         let attr_value_str: &str = attr_value;
         let delim = if is_hydrate {
             match attr_value_str {