Skip to content

Add a specific xml.java.home preference #145

@fbricon

Description

@fbricon

currently, the XML language server falls back to the "java.home" preference to launch.
This causes 2 issues:

Introducing new "xml.java.home" preference which would be checked before "java.home", would solve #135 and help finalizing #136

Metadata

Metadata

Assignees

Labels

enhancementNew feature or request

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions