Skip to content

Report language server exiting with unsaved changes as 'java.ls.error'.#4033

Merged
rgrunber merged 1 commit intoredhat-developer:mainfrom
rgrunber:workspace-exited-unsaved
Apr 29, 2025
Merged

Report language server exiting with unsaved changes as 'java.ls.error'.#4033
rgrunber merged 1 commit intoredhat-developer:mainfrom
rgrunber:workspace-exited-unsaved

Commits

Commits on Apr 28, 2025