Closed kohlschuetter closed 5 months ago
BadLocationException happen when an update to a document occurred while code in a non-ui thread tries to query that document.
Without more context and a reproducible test case this is very difficult to resolve.
Are you facing an actual functional issue? If so, please describe it.
@sebthom Thanks for looking into this. I don't have more context, as this was a spurious error.
If this error message does not have enough information to debug the root cause, shouldn't it be amended with details, or perhaps just removed entirely?
I had another look at the issue. At this point in time I don't want to suppress the logging of the exception as it looks like there is actually some kind of race condition that can be fixed. however I still don't know how to reproduce it.
Seen several times in the Eclipse error log (2024-06 M2):