Skip to content

Remove outdated IDE server name in favor of language client#3250

Merged
koesie10 merged 2 commits intomainfrom
koesie10/rename-ide-server
Jan 17, 2024
Merged

Remove outdated IDE server name in favor of language client#3250
koesie10 merged 2 commits intomainfrom
koesie10/rename-ide-server

Conversation

@koesie10
Copy link
Copy Markdown
Member

This renames the ide-server.ts file to language-client.ts and renames all instances of IDE server to language client, which is the same name that VS Code uses. The only exceptions to this are when we are referring to the language server process itself, in which case I've renamed them to language server.

Checklist

  • CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
  • Issues have been created for any UI or other user-facing changes made by this pull request.
  • [Maintainers only] If this pull request makes user-facing changes that require documentation changes, open a corresponding docs pull request in the github/codeql repo and add the ready-for-doc-review label there.

@koesie10 koesie10 marked this pull request as ready for review January 17, 2024 13:02
@koesie10 koesie10 requested a review from a team as a code owner January 17, 2024 13:02
Copy link
Copy Markdown
Contributor

@charisk charisk left a comment

Choose a reason for hiding this comment

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

Thanks!

@koesie10 koesie10 merged commit 2b6ec73 into main Jan 17, 2024
@koesie10 koesie10 deleted the koesie10/rename-ide-server branch January 17, 2024 14:08
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.

2 participants