fix: line authoring crashes when dom Element cannot be removed.

Author: GollyTicker

src/lineAuthor/view/gutter/gutter.ts

@@ -55,7 +55,13 @@ export class TextGutter extends GutterMarker {
     }
 
     destroy(dom: HTMLElement): void {
-        if (!document.body.contains(dom)) dom.remove();
+        if (!document.body.contains(dom)) {
+            try {
+                dom.remove();
+            } catch (_error) {
+                // sometimes, this randomly seems to fail even with the prior check, so we just ignore the error.
+            }
+        }
     }
 }
 
@@ -117,8 +123,12 @@ export class LineAuthoringGutter extends GutterMarker {
     public destroy(dom: HTMLElement): void {
         // this is called frequently, when the gutter moves outside of the view.
         if (!document.body.contains(dom)) {
-            dom.remove();
             attachedGutterElements.delete(dom);
+            try {
+                dom.remove();
+            } catch (_error) {
+                // sometimes, this randomly seems to fail even with the prior check, so we just ignore the error.
+            }
         }
     }