Clean: wrap lines.

Author: bjones1

README.md

@@ -25,11 +25,11 @@ Structure
 ---------
 
 The CodeChat Editor divides source code into code blocks and documentation (doc)
-blocks. These blocks are separated by newlines; the image below shows the
-[style guide](docs/style_guide.cpp) on the left in the Visual Studio Code
-(VSCode) text editor, while the right pane shows the same text from style guide
-in the CodeChat Editor (using the VSCode extension). Specifically, this
-screenshot shows:
+blocks. These blocks are separated by newlines; the image below shows the [style
+guide](docs/style_guide.cpp) on the left in the Visual Studio Code (VSCode) text
+editor, while the right pane shows the same text from style guide in the
+CodeChat Editor (using the VSCode extension). Specifically, this screenshot
+shows:
 
 *   <span style="font-size: 20pt;">❶</span>: a doc block. Doc blocks must have
     one space after the comment delimiter.
@@ -140,7 +140,8 @@ following characters should be escaped: `*`, `_`, `\`, `[`, `]`, `<`.
 | `$3 <a> b$`      | $3 <a>b$</a>   | `$3 \<a> b$`       | $3 \<a> b$         |
 | `$a \; b$`       | $a \; b$       | `$a \\; b$`        | $a \\; b$          |
 
-## Diagrams
+Diagrams
+--------
 
 ### Graphviz
 

client/src/CodeMirror-integration.mts

@@ -442,7 +442,8 @@ class DocBlockWidget extends WidgetType {
     // "Update a DOM element created by a widget of the same type (but
     // different, non-eq content) to reflect this widget."
     updateDOM(dom: HTMLElement, view: EditorView): boolean {
-        // See if this update was produced by a change in TinyMCE text, which means the DOM is already updated.
+        // See if this update was produced by a change in TinyMCE text, which
+        // means the DOM is already updated.
         if ((dom as any).update_complete === true) {
             // Yes, so clear this update flag before returning.
             delete (dom as any).update_complete;
@@ -586,7 +587,10 @@ const on_dirty = (
     const indent = indent_div.innerHTML;
     const delimiter = indent_div.getAttribute("data-delimiter")!;
     const [contents_div, is_tinymce] = get_contents(target);
-    // Sorta ugly hack: TinyMCE stores its date in the DOM. CodeMirror stores state in external structs. We need to update the CodeMirror state, but not overwrite the DOM with this "new" state, since the DOM is already updated. So, signal that this "update" is already done.
+    // Sorta ugly hack: TinyMCE stores its date in the DOM. CodeMirror stores
+    // state in external structs. We need to update the CodeMirror state, but
+    // not overwrite the DOM with this "new" state, since the DOM is already
+    // updated. So, signal that this "update" is already done.
     (target as any).update_complete = true;
     tinymce_singleton!.save();
     const contents = is_tinymce
@@ -624,23 +628,26 @@ export const DocBlockPlugin = ViewPlugin.fromClass(
                         main_selection.from,
                         main_selection.to,
                         (from: number, to: number, value: Decoration) => {
-                            // Is this range contained within this doc block? If the ranges also contains element outside it, then don't capture focus. TODO: not certain on the bounds -- should I use \<= or \<, etc.?
+                            // Is this range contained within this doc block? If
+                            // the ranges also contains element outside it, then
+                            // don't capture focus. TODO: not certain on the
+                            // bounds -- should I use <= or <, etc.?
                             if (
                                 main_selection.from < from ||
                                 main_selection.to > main_selection.to
                             ) {
                                 return;
                             }
 
-                            // Ensure we have a valid dom. This also checks for undefined.
+                            // Ensure we have a valid dom. This also checks for
+                            // undefined.
                             const dom_at_pos = update.view.domAtPos(from);
                             const dom = dom_at_pos.node.childNodes[dom_at_pos.offset] as HTMLDivElement | null;
                             if (dom == null) {
                                 return;
                             }
 
-                            // Give focus to the contents of the doc
-                            // block.
+                            // Give focus to the contents of the doc block.
                             (dom.childNodes[1] as HTMLElement).focus();
                         },
                     );