eclipse-platform/eclipse.platform.resources

Compiler markers in text editor not updated

Closed this issue · 7 comments

In Eclipse SDK
Version: 2022-06 (4.24)
Build id: I20220324-1800
OS: Linux, v.5.13.0-37-generic, x86_64 / gtk 3.24.30, WebKit 2.34.6
Java vendor: Eclipse Adoptium
Java runtime version: 17.0.1+12
Java version: 17.0.1

the error markers in the text editor are not updated automatically. I have to clean the project to update the editor. Maybe a follow-up issue of https://git.eclipse.org/r/c/platform/eclipse.platform.resources/+/190487?

Example:

Implement an interface, delete the interface, wait for compiler to show errors, use Staging view to restore file -> errors still in the editor

image

I can't reproduce with I20220328-1800 build. Note, there were few patches already merged to fix various issues, so might be that was fixed in the meanwhile. Or I don't follow the right steps 1:1.

I20220328-1800 does not open on Linux for me, complains that JDT classes cannot be found. I try with tomorrows build again and will reopen if the issue still exists.

I20220328-1800 does not open on Linux for me, complains that JDT classes cannot be found.

Fresh install or update? I'm using fresh one, no problems. What exactly is reported by whom?
Note: I'm using Java 11 and RHEL 7.9.

@iloveeclipse might be "just" a temp issue, will retry tomorrow and report a new issue if JDT views are still broken. I'm using Java 17.

merks commented

I saw a bug about notifications related to marker changes that were caused by changes to the marker map implementation. That was fixed I think so maybe you caught the tail end of that.

Today all seems good with Eclipse SDK
Version: 2022-06 (4.24)
Build id: I20220329-1800
OS: Linux, v.5.13.0-37-generic, x86_64 / gtk 3.24.30
Java vendor: Eclipse Adoptium
Java runtime version: 17.0.1+12
Java version: 17.0.1