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

Rename files associated with LSP #3185

Merged
merged 3 commits into from
Jan 31, 2023
Merged

Rename files associated with LSP #3185

merged 3 commits into from
Jan 31, 2023

Conversation

mattseddon
Copy link
Member

@mattseddon mattseddon commented Jan 31, 2023

2/2 main <- #3175 <- this

This PR cleans up some of the naming in the files associated with our language server. I have also converted the TextDocumentWrapper to a set of functions as it didn't really make sense to grab all of the documents and then wrap them each time we try to access them. This might make sense again in the future (and we can change again).

@mattseddon mattseddon self-assigned this Jan 31, 2023
@mattseddon mattseddon changed the base branch from main to fix-on-definition January 31, 2023 05:32
@mattseddon mattseddon marked this pull request as ready for review January 31, 2023 05:40
@mattseddon
Copy link
Member Author

Related to #2529

Copy link
Contributor

@julieg18 julieg18 left a comment

Choose a reason for hiding this comment

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

Looks good!

Base automatically changed from fix-on-definition to main January 31, 2023 21:35
@codeclimate
Copy link

codeclimate bot commented Jan 31, 2023

Code Climate has analyzed commit 5b2cbcd and detected 0 issues on this pull request.

The test coverage on the diff in this pull request is 89.0% (85% is the threshold).

This pull request will bring the total coverage in the repository to 95.9% (0.0% change).

View more on Code Climate.

@mattseddon mattseddon merged commit ea27142 into main Jan 31, 2023
@mattseddon mattseddon deleted the rename-lsp-files branch January 31, 2023 22:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants