Skip to content

Eclipse: Move LanguageServer Logging Preferences to Eclipse-Tree Element #1487

Closed
Closed
Eclipse: Move LanguageServer Logging Preferences to Eclipse-Tree Element#1487
Labels
for: eclipsesomething that is specific for Eclipsetype: enhancement
Milestone
5.1.0.RELEASE
@bohni

Description

@bohni
bohni
opened on Feb 28, 2025

Eclipse Preference UI has a "Logs" entry for Language Servers. So the "Spring Language Servers" entry is no longer necessary.

Image

Image

Image

Metadata

Metadata

Assignees

No one assigned

    Labels

    for: eclipsesomething that is specific for Eclipsetype: enhancement

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions