Describe the bug
Some times errors that are normal, because the workspace has not been imported yet, don't go away on their own: I have to insert a space into the file for the import errors to go away.
- Open Spring Boot
- Open SampleProfileApplication.java
- Observe: there is an error on
import org.springframework.core.env.ConfigurableEnvironment;
That is normal: there is no mbt.json yet. The import process is going on in the background
- Open some other files in the editor
- Let the import process finish
- Observe: the import error is still visible.
- Insert a space into the file
- Observe: the import goes away
Note that most of the time, errors go away as imports become available.
Expected behavior
No response
Operating system
Windows
Editor/Extension
VS Code
Version of Metals
2.0.0-SNAPSHOT
Scala version/s
n/a
Extra context or search terms
No response
Describe the bug
Some times errors that are normal, because the workspace has not been imported yet, don't go away on their own: I have to insert a space into the file for the import errors to go away.
import org.springframework.core.env.ConfigurableEnvironment;That is normal: there is no mbt.json yet. The import process is going on in the background
Note that most of the time, errors go away as imports become available.
Expected behavior
No response
Operating system
Windows
Editor/Extension
VS Code
Version of Metals
2.0.0-SNAPSHOT
Scala version/s
n/a
Extra context or search terms
No response