Skip to content

move preferences from language server category to spring category #970

Closed
@martinlippert

Description

@martinlippert

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

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions