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

Send message to client when outdated Regal is detected #828

Open
anderseknert opened this issue Jun 12, 2024 · 0 comments
Open

Send message to client when outdated Regal is detected #828

anderseknert opened this issue Jun 12, 2024 · 0 comments

Comments

@anderseknert
Copy link
Member

Similar to how we'll print this to stderr. That's however unlikely to be seen by users of the language server. In that case we should instead send a message, and if possible, an action that they can take to get the latest version.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: TODO
Development

No branches or pull requests

1 participant