From 8e7ee7c404324f97afc67cecf9f420f393ec976c Mon Sep 17 00:00:00 2001
From: sebthom <sebthom@users.noreply.github.com>
Date: Wed, 15 May 2024 22:27:47 +0200
Subject: [PATCH] fix: don't log BadLocationException as error during async
 marker updates

---
 .github/workflows/build.yml                                   | 4 +++-
 .../java/org/eclipse/tm4e/ui/internal/utils/MarkerUtils.java  | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 324dfbf4f..f5a519b45 100644
--- a/.github/workflows/build.yml
+++ b/.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"
diff --git a/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/utils/MarkerUtils.java b/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/utils/MarkerUtils.java
index ca2c668f7..f16b94f08 100644
--- a/org.eclipse.tm4e.ui/src/main/java/org/eclipse/tm4e/ui/internal/utils/MarkerUtils.java
+++ b/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);
 				}
 			}