- Notifications
You must be signed in to change notification settings - Fork 219
Closed
Labels
for: eclipsesomething that is specific for Eclipsesomething that is specific for Eclipsetype: enhancement
Milestone
Description
In Eclipse, we still have all the language-server related preferences showing up in the preferences in a deep hierarchy below the language server category. This is somewhat hard to find for users (and more an implementation detail of the internal architecture that some parts of the spring tooling are implemented as part of a language server).
Therefore we should move all preferences to the Spring
category and have them all show up there, independent whether they are coming from the language server or not.
Metadata
Metadata
Assignees
Labels
for: eclipsesomething that is specific for Eclipsesomething that is specific for Eclipsetype: enhancement