Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actually fix user settings for jediEnabled. #12433

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

Merged
merged 10 commits into from
Jun 19, 2020
Merged

Actually fix user settings for jediEnabled. #12433

merged 10 commits into from
Jun 19, 2020

Conversation

MikhailArkhipov
Copy link

For #12429
Add jediEnabled to the search inside content of settings files.

  • Pull request represents a single change (i.e. not fixing disparate/unrelated things in a single PR).
  • Title summarizes what is changing.
  • Has a news entry file (remember to thank yourself!).
  • Appropriate comments and documentation strings in the code.
  • Has sufficient logging.

- [ ] Has telemetry for enhancements.

  • Unit tests & system/integration tests are added/updated.

- [ ] Test plan is updated as appropriate.
- [ ] package-lock.json has been regenerated by running npm install (if dependencies have changed).
- [ ] The wiki is updated with any design decisions/details.

@jakebailey
Copy link
Member

LGTM but a core member may want to look.

@jakebailey
Copy link
Member

Noticed one thing now that this code is actually running. If you have a bunch of comments in a run-up to the old jediEnabled setting, they get removed on edit. E.g., have:

    // Some
    // Comments
    // To keep
    "python.jediEnabled": false,

Will be removed entirely.

@jakebailey
Copy link
Member

Hmm, I guess it's a known issue with the JSONC parser: microsoft/node-jsonc-parser#10

VS Code doesn't use this lib anymore as far as I know (in favor of some internal settings management), so it's difficult to do this sort of change here with files (rather than setting things via VS Code's APIs).

Copy link
Member

@jakebailey jakebailey left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Per discussion with Karthik, I think we should remove the block of code that removes jediEnabled. Leaving jediEnabled isn't harmful as the setting is no longer read, and we won't unexpectedly modify a user's settings.json file. In a future release, we can clean up the jediEnabled setting if need be.

@MikhailArkhipov could you remove that block?

@MikhailArkhipov
Copy link
Author

Sure, although opener of #12429 wanted it removed I think.

@jakebailey
Copy link
Member

I think the main problem was that none of this code was active, so the effect was to not actually move people over to the languageServer setting. Whether or not the old setting is left behind I don't think changes that picture.

@sonarqubecloud
Copy link

Kudos, SonarCloud Quality Gate passed!

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities (and Security Hotspot 0 Security Hotspots to review)
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information

@MikhailArkhipov MikhailArkhipov merged commit b7a1822 into microsoft:master Jun 19, 2020
karthiknadig pushed a commit to karthiknadig/vscode-python that referenced this pull request Jun 19, 2020
* Fix path

* Actually fix settings

* Add news

* Add test

* Format

* Suppress 'jediEnabled' removal
karthiknadig added a commit that referenced this pull request Jun 19, 2020
* Actually fix user settings for `jediEnabled`. (#12433)

* Fix path

* Actually fix settings

* Add news

* Add test

* Format

* Suppress 'jediEnabled' removal

* Prapare for point release

Co-authored-by: Mikhail Arkhipov <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants