Clean: prettier.

Author: bjones1

client/src/CodeChatEditor.mts

@@ -291,7 +291,10 @@ const _open_lp = async (
             // However, this doesn't seem to work for the cursor location.
             // Perhaps when TinyMCE normalizes the document, this gets lost?
             const bm = tinymce.activeEditor!.selection.getBookmark();
-            doc_content = "Plain" in source ? source.Plain.doc : apply_diff_str(doc_content, source.Diff.doc);
+            doc_content =
+                "Plain" in source
+                    ? source.Plain.doc
+                    : apply_diff_str(doc_content, source.Diff.doc);
             tinymce.activeEditor!.setContent(doc_content);
             tinymce.activeEditor!.selection.moveToBookmark(bm);
         }

client/src/CodeMirror-integration.mts

@@ -222,9 +222,9 @@ export const docBlockField = StateField.define<DecorationSet>({
                                 typeof effect.value.contents === "string"
                                     ? effect.value.contents
                                     : apply_diff_str(
-                                        prev.spec.widget.contents,
-                                        effect.value.contents,
-                                    ),
+                                          prev.spec.widget.contents,
+                                          effect.value.contents,
+                                      ),
                                 effect.value.dom ?? prev.spec.widget.dom,
                             ),
                             ...decorationOptions,
@@ -467,7 +467,7 @@ export const mathJaxTypeset = async (
     // The node to typeset.
     node: HTMLElement,
     // An optional function to run when the typeset finishes.
-    afterTypesetFunc: () => void = () => { },
+    afterTypesetFunc: () => void = () => {},
 ) => {
     try {
         await window.MathJax.typesetPromise([node]);
@@ -570,8 +570,8 @@ const on_dirty = (
 
 export const DocBlockPlugin = ViewPlugin.fromClass(
     class {
-        constructor(view: EditorView) { }
-        update(update: ViewUpdate) { }
+        constructor(view: EditorView) {}
+        update(update: ViewUpdate) {}
     },
     {
         eventHandlers: {
@@ -644,7 +644,7 @@ export const DocBlockPlugin = ViewPlugin.fromClass(
                             // containing div.
                             for (
                                 let current_node = sel.anchorNode,
-                                is_first = true;
+                                    is_first = true;
                                 // Continue until we find the div which contains
                                 // the doc block contents: either it's not an
                                 // element (such as a div), ...
@@ -654,7 +654,7 @@ export const DocBlockPlugin = ViewPlugin.fromClass(
                                     "CodeChat-doc-contents",
                                 );
                                 current_node = current_node.parentNode!,
-                                is_first = false
+                                    is_first = false
                             ) {
                                 // Store the index of this node in its' parent
                                 // list of child nodes/children. Use
@@ -726,14 +726,14 @@ export const DocBlockPlugin = ViewPlugin.fromClass(
                                 ;
                                 selection_path.length;
                                 selection_node =
-                                // As before, use the more-consistent `children`
-                                // except for the last element, where we might
-                                // be selecting a `text` node.
-                                (
-                                    selection_path.length > 1
-                                        ? selection_node.children
-                                        : selection_node.childNodes
-                                )[selection_path.shift()!]! as HTMLElement
+                                    // As before, use the more-consistent `children`
+                                    // except for the last element, where we might
+                                    // be selecting a `text` node.
+                                    (
+                                        selection_path.length > 1
+                                            ? selection_node.children
+                                            : selection_node.childNodes
+                                    )[selection_path.shift()!]! as HTMLElement
                             );
                             // Use that to set the selection.
                             tinymce_singleton!.selection.setCursorLocation(

client/src/shared_types.mts

@@ -31,39 +31,39 @@ export type ResultOkTypes = {
 
 export type MessageResult =
     | {
-        Ok: "Void" | ResultOkTypes;
-    }
+          Ok: "Void" | ResultOkTypes;
+      }
     | {
-        Err: string;
-    };
+          Err: string;
+      };
 
 export type EditorMessageContents =
     | {
-        Update: UpdateMessageContents;
-    }
+          Update: UpdateMessageContents;
+      }
     | {
-        CurrentFile: [string, boolean?];
-    }
+          CurrentFile: [string, boolean?];
+      }
     | {
-        Opened: IdeType;
-    }
+          Opened: IdeType;
+      }
     | {
-        RequestClose: null;
-    }
+          RequestClose: null;
+      }
     | {
-        OpenUrl: string;
-    }
+          OpenUrl: string;
+      }
     | {
-        LoadFile: string;
-    }
+          LoadFile: string;
+      }
     | {
-        ClientHtml: string;
-        // Not included, since this is server->server only.
-        //Closed?: null;
-    }
+          ClientHtml: string;
+          // Not included, since this is server->server only.
+          //Closed?: null;
+      }
     | {
-        Result: MessageResult;
-    };
+          Result: MessageResult;
+      };
 
 export type EditorMessage = {
     id: number;
@@ -79,11 +79,11 @@ export type CodeChatForWeb = {
 
 export type CodeMirrorDiffable =
     | {
-        Plain: CodeMirror;
-    }
+          Plain: CodeMirror;
+      }
     | {
-        Diff: CodeMirrorDiff;
-    };
+          Diff: CodeMirrorDiff;
+      };
 
 export type CodeMirror = {
     doc: string;
@@ -108,14 +108,14 @@ export type StringDiff = {
 
 export type CodeMirrorDocBlockTransaction =
     | {
-        Add: CodeMirrorDocBlockJson;
-    }
+          Add: CodeMirrorDocBlockJson;
+      }
     | {
-        Update: CodeMirrorDocBlockUpdate;
-    }
+          Update: CodeMirrorDocBlockUpdate;
+      }
     | {
-        Delete: CodeMirrorDocBlockDelete;
-    };
+          Delete: CodeMirrorDocBlockDelete;
+      };
 
 // How a doc block is stored using CodeMirror.
 export type CodeMirrorDocBlockJson = [

extensions/VSCode/src/extension.ts

@@ -562,7 +562,13 @@ const send_message = (
 };
 
 // Format a complex data structure as a string when in debug mode.
-const format_struct = (complex_data_structure: any): string => DEBUG_ENABLED ? JSON.stringify(complex_data_structure).substring(0, MAX_MESSAGE_LENGTH) : "";
+const format_struct = (complex_data_structure: any): string =>
+    DEBUG_ENABLED
+        ? JSON.stringify(complex_data_structure).substring(
+              0,
+              MAX_MESSAGE_LENGTH,
+          )
+        : "";
 
 // Report an error from the server.
 const report_server_timeout = (message_id: number) => {