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

eclipse · May 15, 2024 · 8e7ee7c · 8e7ee7c
1 parent 693b2c1
commit 8e7ee7c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git 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
@@ -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);
 				}
 			}