-
Notifications
You must be signed in to change notification settings - Fork 409
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
Allow custom notifications #522
Labels
Milestone
Comments
This was referenced Feb 12, 2018
vrubezhny
added a commit
to vrubezhny/eclipse.jdt.ls
that referenced
this issue
Mar 7, 2018
Fixes eclipse-jdtls#522 Signed-off-by: Victor Rubezhny <[email protected]>
vrubezhny
added a commit
to vrubezhny/eclipse.jdt.ls
that referenced
this issue
Mar 13, 2018
Fixes eclipse-jdtls#522 Signed-off-by: Victor Rubezhny <[email protected]>
vrubezhny
added a commit
to vrubezhny/eclipse.jdt.ls
that referenced
this issue
Mar 15, 2018
Fixes eclipse-jdtls#522 Signed-off-by: Victor Rubezhny <[email protected]>
vrubezhny
added a commit
to vrubezhny/eclipse.jdt.ls
that referenced
this issue
Mar 15, 2018
The public `void notify(String method, Object parameter)` method is added to `JavaClientConnection` thus allowing sending the notifications from a Server to a Client Fixes eclipse-jdtls#522 Signed-off-by: Victor Rubezhny <[email protected]>
vrubezhny
added a commit
to vrubezhny/eclipse.jdt.ls
that referenced
this issue
Mar 22, 2018
The public `void notify(String method, Object parameter)` method is added to `JavaClientConnection` thus allowing sending the notifications from a Server to a Client Fixes eclipse-jdtls#522 Signed-off-by: Victor Rubezhny <[email protected]>
16 tasks
Superseded by #595 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
While jdt.ls extenders can add functionality by adding custom commands, there is not such ability for notifications. As it happens, The remote proxy we get back from Launcher.getRemoteProxy() when starting the client connection in JavaLanguageServerPlugin#startConnection() implements "Endpoint". This would allow us to add a method to JDTLanguageServer like so:
This would very simply allow custom notifications.
The text was updated successfully, but these errors were encountered: