-
Notifications
You must be signed in to change notification settings - Fork 1.5k
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
Implement StatusBar #5188
Implement StatusBar #5188
Conversation
34e1937
to
7a5954e
Compare
Could we use |
I guess this would technically work, but that would mean that we will be spamming the user with notifications, and I'd rather avoid that. |
Makes sense. I wonder if we should propose that a "persistent notification" be added to the protocol. |
There's some discussion about this over there: microsoft/language-server-protocol#511 (comment) |
bors r+ |
Build failed: |
Hm? bors r+ |
No description provided.