You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Previously, this case was handled in the if (!(resource instanceof Uri)) branch.
nit: it may also worth fixing the type of uris argument, the actual type seems to be Uri | Uri[] | { uri: string } | Array<{ uri: string }>.
The text was updated successfully, but these errors were encountered:
skazantsev
changed the title
Project configuration are not updated after modifying the build file in v1.8.0
Project configuration is not updated after modifying the build file in v1.8.0
Jul 14, 2022
Hey,
Looks like there's regression in project update introduced in Support project update selection.
Steps to reproduce
pom.xml
, the IDE shows a dialogA build file was modified. Do you want to synchronize the Java classpath/configuration?
.Yes
.Expected result
The project configuration update is requested, the project is in sync with
pom.xml
.Actual result
The project configuration update is not requested, the project is out of sync with
pom.xml
.Workaround
Run
Update project configuration
command manually.Environment
Additional details
The command is originated from eclipse.jdt.ls/StandardProjectsManager.java, so the uri argument is not an instance of
Uri
but an object like{ uri: "<path>/pom.xml" }
.Previously, this case was handled in the
if (!(resource instanceof Uri))
branch.nit: it may also worth fixing the type of
uris
argument, the actual type seems to beUri | Uri[] | { uri: string } | Array<{ uri: string }>
.The text was updated successfully, but these errors were encountered: