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.

Sign up for GitHub

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

Jump to bottom

Eclipse project files modifications are ignored #239

Closed
fbricon opened this issue Jun 13, 2017 · 0 comments
Closed

Eclipse project files modifications are ignored #239

fbricon opened this issue Jun 13, 2017 · 0 comments
Assignees
@fbricon
Labels
bug
Milestone
Mid June 2017

Comments

@fbricon
Copy link
Collaborator

fbricon commented Jun 13, 2017

When modifying jdt settings in .settings/org.eclipse.jdt.core.prefs, the modifications are ignored by the server.

Eclipse project setting files need to be added to the file watcher, so they can be refreshed server-side
@fbricon fbricon added the bug label Jun 13, 2017
@fbricon fbricon self-assigned this Jun 13, 2017
@fbricon fbricon added this to the Mid June 2017 milestone Jun 13, 2017
@fbricon fbricon mentioned this issue Jun 13, 2017
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@fbricon fbricon

Labels
bug
Projects
None yet
Milestone
Mid June 2017
Development

No branches or pull requests
1 participant
@fbricon