fix: don't log BadLocationException as error during async marker updates

Author: sebthom

.github/workflows/build.yml

@@ -80,7 +80,9 @@ jobs:
 
     steps:
     - name: "Show: GitHub context"
-      run: echo '${{ toJSON(github) }}'
+      env:
+        GITHUB_CONTEXT: ${{ toJSON(github) }}
+      run: echo $GITHUB_CONTEXT
 
 
     - name: "Show: environment variables"

org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/utils/MarkerUtils.java

@@ -168,7 +168,7 @@ private static void updateTextMarkers(final ITMDocumentModel docModel, final int
 						res.createMarker(markerTypeId, attrs);
 					}
 				} catch (final BadLocationException ex) {
-					TMUIPlugin.logError(ex);
+					TMUIPlugin.logTrace(ex);
 				}
 			}