Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Define schema for contribute/javaExtensions in package.json #1114

Merged
merged 1 commit into from
Oct 22, 2019

Conversation

angelozerr
Copy link
Contributor

This PR provide a JSON schema for JDT 'contribute/javaExtensions'
property. It gives the capability to have completion, hover, validation
for this property inside package.json.

Signed-off-by: azerr [email protected]

@angelozerr
Copy link
Contributor Author

Here a demo

JavaExtensionsDemo

@angelozerr angelozerr force-pushed the schema-javaExtensions branch from 4f42a55 to d3bb560 Compare October 21, 2019 18:25
This PR provide a JSON schema for JDT 'contribute/javaExtensions'
property. It gives the capability to have completion, hover, validation
for this property inside package.json.

Signed-off-by: azerr <[email protected]>
@angelozerr angelozerr force-pushed the schema-javaExtensions branch from d3bb560 to cbce86d Compare October 21, 2019 18:28
@fbricon fbricon merged commit 14a5323 into redhat-developer:master Oct 22, 2019
@fbricon
Copy link
Collaborator

fbricon commented Oct 22, 2019

Thanks @angelozerr !

@fbricon fbricon added this to the End October 2019 milestone Oct 22, 2019
@fbricon fbricon changed the title Java Language server contributions to package.json Define schema for contribute/javaExtensions in package.json Oct 22, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants