Skip to content

Merge main back in default-language-server - #16152

Closed
Kim-Adeline Miguel (kimadeline) wants to merge 20 commits into
default-language-serverfrom
main
Closed

Merge main back in default-language-server#16152
Kim-Adeline Miguel (kimadeline) wants to merge 20 commits into
default-language-serverfrom
main

Conversation

@kimadeline

Copy link
Copy Markdown

No description provided.

…#15971)

* Implement pathExists using fs-extra

* Add caching and relax valid executable check

* Ensure we block on showing itnerpreter in status bar

* Fix tests

* Fix getting the selected interpreter on startup

* Fix extension activation error
* Indent on match and case
* Add thanks
Co-authored-by: Kim-Adeline Miguel <51720070+kimadeline@users.noreply.github.com>
* Remove unused resources

* Bring ctagOptions back
* Bundle Pylance as part of an extension pack (not a hard dependency) (#16077)

   * extension pack
   * Undo package.json change
   * Add extension pack link at build time
   * Forgot to update all names

* Update readme + license at build time (#16134)

* Add license update

* Update package.json description

* Update readme

* Add news file

* Update header wording

* let -> const

* Wording

* Consistenly use VS Code long form

* Display an informational Pylance prompt for existing users (#16069)

* Export extension version memento

* Add localization strings

* Add prompt check

* Add to the list of things triggering on activation

* Add tests

* Rename file

* Remove unsupported newlines

* Fix localization + re-add newlines

* Change to be a non-blocking diagnostic check

* Change localization key

* Update memento on close instead of just on ok

* Fix localization

* Add initialMementoValue handler

* Links

* Fix tests

* Fix tests

* Set PYLANCE_PROMPT_MEMENTO to false

* Remove unused line

* Set to true directly

* Remove extra updateMemento calls

* I can't read

* Period

* Run in foreground

* Add handling test

* Remove extension pack category (#16149)

Co-authored-by: Jake Bailey <5341706+jakebailey@users.noreply.github.com>
@kimadeline

Copy link
Copy Markdown
Author

Maybe that's not necessary anymore?

@kimadeline

Copy link
Copy Markdown
Author

Closing this PR since we're merging #16155 to main directly

@Yopoto

Yopoto commented Oct 28, 2024

Copy link
Copy Markdown
  • [ ]

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.

7 participants