spring commands

1 tagged spring, measured the same way as everything else here.

refresh

01

spring-projects/spring-tools

Command

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