where originates that (second) screen shot? since i find *all* these (preference sections) under "Spring" (not "Language Servers...")
– xerx593Apr 02 '23 at 10:49
2 Answers2
1
I'm confused by the second screenshot, since that's where I find all of these:
It doesn't show. Only thing you can do from 'language servers' is check/uncheck the enabled checkbox, you cannot select a server. If you drill down to 'Spring Language Servers', all you see is the image the OP posted with the Logging field and checkbox.
– DavidAMay 16 '23 at 22:53