Skip to content

Fix WorkspaceSemanticTokensRefresh type to be FromServer, not FromClient #443

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

Merged

Conversation

thomasjm
Copy link
Collaborator

This method is currently miscategorized as a Method FromClient Request, but it should be a Method FromServer Request.

See here:

https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#semanticTokens_refreshRequest

@thomasjm thomasjm mentioned this pull request Jun 30, 2022
@michaelpj michaelpj enabled auto-merge July 1, 2022 08:32
@michaelpj michaelpj disabled auto-merge July 1, 2022 08:33
@michaelpj
Copy link
Collaborator

Can you click the "allow edits from maintainers" checkbox? I can't merge master into your branch and neither can mergify.

BTW I've made a lot of progress on #421 and I'm hoping to have something usable before too long :)

@thomasjm thomasjm force-pushed the fix-workspace-semantic-tokens-refresh branch from 2139db9 to 007dbdb Compare July 1, 2022 21:21
@thomasjm
Copy link
Collaborator Author

thomasjm commented Jul 1, 2022

I don't seem to have that checkbox? Just rebased onto master.

@michaelpj michaelpj enabled auto-merge July 3, 2022 11:10
@michaelpj michaelpj merged commit 184dae1 into haskell:master Jul 3, 2022
@thomasjm
Copy link
Collaborator Author

thomasjm commented Jul 3, 2022

Thanks @michaelpj -- Great news about #421 by the way, can't wait to see it!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants