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

Inactive Working Directory settings #321

Open
tweksteen opened this issue Jun 19, 2020 · 4 comments
Open

Inactive Working Directory settings #321

tweksteen opened this issue Jun 19, 2020 · 4 comments
Labels

Comments

@tweksteen
Copy link
Contributor

It seems that the "Working Directory" settings (with its "Use Default" checkbox) is not used nor modifiable.
I've tried changing it to a different path but this was not reflected in the UI. There was also no difference to the messages sent to the language server.
There is no reference to this field in the documentation/ directory.

@mickaelistria
Copy link
Contributor

Are you familiar with Eclipse plugin development? If so, would you like to try submitting a patch?

@tweksteen
Copy link
Contributor Author

Thanks for the suggestion but I won't have time to work on this.

@mickaelistria
Copy link
Contributor

I've looked at it, and I cannot reproduce the issue; or more probably fail at understanding it. Can you please provide detailed steps to reproduce?

@mickaelistria
Copy link
Contributor

@tweksteen Can you please try latest snapshots and provide details steps to reproduce the issue?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants