Community
Participate
Working Groups
Created attachment 281859 [details] Screenshot After resetting the Git repo on the command line I see lots of resource out of sync during cleanup Most likely similar to Bug 515697 in which the "Refresh on access" settting is not considered.
New Gerrit change created: https://git.eclipse.org/r/158547
Gerrit change https://git.eclipse.org/r/158547 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=a0db34f217cb097920063c40c4cf24fbae61aba2
Released for 4.16M1
Works great, thanks Jeff. Verfied in Eclipse SDK Version: 2020-06 (4.16) Build id: I20200315-1800 OS: Linux, v.5.3.0-42-generic, x86_64 / gtk 3.24.12 Java version: 1.8.0_242