-
Notifications
You must be signed in to change notification settings - Fork 1.4k
Add an "enumDescriptions" key to describe all language server options #16236
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
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1 @@ | ||
| Add an `enumDescriptions` key under the `python.languageServer` setting to describe all language server options. |
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -1257,6 +1257,14 @@ | |
| "Microsoft", | ||
| "None" | ||
| ], | ||
| "enumDescriptions": [ | ||
| "Automatically select a language server: Pylance if installed and available, otherwise fallback to Jedi.", | ||
| "Use Jedi as a language server.", | ||
| "Use Jedi behind the Language Server Protocol (LSP) as a language server.", | ||
|
Member
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Should we say this works only for 3.6 or greater? (uses newer jedi version)
Member
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Karthik Nadig (@karthiknadig) this looks good to me, I think we should leave the details for what is supported vs not to our docs, if that makes sense |
||
| "Use Pylance as a language server.", | ||
| "Use the Microsoft Python Language Server (MPLS) as a language server. (legacy)", | ||
| "Disable language server capabilities." | ||
| ], | ||
| "default": "Default", | ||
| "description": "Defines type of the language server.", | ||
| "scope": "window" | ||
|
|
||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Should we say that this works for 2.7 and <=3.5 (uses jedi 0.17.*)