refresh
01Command
Refresh the Spring Tools workspace so the language server re-indexes files on disk (use after /rewind, git checkout, external edits, etc.).
980 3d ago A 30 tokens
EPL-1.0
1 tagged theia, measured the same way as everything else here.
Command
Refresh the Spring Tools workspace so the language server re-indexes files on disk (use after /rewind, git checkout, external edits, etc.).