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

Prompt to restart VS Code if new language server is enabled/disabled #1747

Closed
DonJayamanne opened this issue May 24, 2018 · 2 comments · Fixed by #1754
Closed

Prompt to restart VS Code if new language server is enabled/disabled #1747

DonJayamanne opened this issue May 24, 2018 · 2 comments · Fixed by #1754
Assignees
Labels
area-intellisense LSP-related functionality: auto-complete, docstrings, navigation, refactoring, etc. feature-request Request for new features or functionality
Milestone

Comments

@DonJayamanne
Copy link

No description provided.

@DonJayamanne DonJayamanne added feature-request Request for new features or functionality area-intellisense LSP-related functionality: auto-complete, docstrings, navigation, refactoring, etc. needs PR labels May 24, 2018
@DonJayamanne DonJayamanne added this to the May 2018 milestone May 24, 2018
@brettcannon
Copy link
Member

And also automatically trigger the download of the analysis engine when the feature flag is flipped.

@DonJayamanne
Copy link
Author

  • When not using Jedi, the extension will prompt user to reload VS Code
    • If the user clicks the Reload button, VS Code will reload (if necessary analysis engine will be downloaded)

And also automatically trigger the download of the analysis engine when the feature flag is flipped.

With the requirement of having to reload VS Code, the above becomes unnecessary.

Here's a screenshot of the prompt:
screen shot 2018-05-25 at 1 57 49 pm

@lock lock bot locked as resolved and limited conversation to collaborators Jul 10, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area-intellisense LSP-related functionality: auto-complete, docstrings, navigation, refactoring, etc. feature-request Request for new features or functionality
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants